Skip to content

v0.1.0
Compare
Choose a tag to compare
@mitchellolsthoorn mitchellolsthoorn released this 18 Oct 18:39
· 33 commits to main since this release
v0.1.0
4dc88ff
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

This is the first release of the SynTest Solidity. This tool is still in active development and therefore the API is subject to change.

This release represents many contributions by 3 main contributors to the SynTest Framework: @dstallenberg, @mitchellolsthoorn, and @apanichella.

What's Added

  • Solidity adapters for the different interfaces in the framework (e.g., test runner, static and dynamic analysis)
  • Solidity test encoding
  • Solidity instrumentation
  • Solidity specific search criteria (i.e., probe coverage)

Full Changelog: https://github.com/syntest-framework/syntest-solidity/commits/v0.1.0

Contributors

mitchellolsthoorn, apanichella, and dstallenberg
Assets 2
Loading