Skip to content

v1.1.0.0
Compare
Choose a tag to compare
@agroce agroce released this 16 Aug 17:06
· 759 commits to master since this release
1.1.0.0
6869bab
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Second stable release

  • Provides a statically compiled Linux binary tested in Ubuntu 18.04 (x86_64)
  • Mac OS binary is use-at-your-own-risk, may not be portable to other environments

Note that the standalone binaries do require crytic-compile and solc to work. You can install crytic-compile via pip (pip install crytic-compile).

Major changes since 1.0.0.0:

  • Support for catching assertion violations

  • Support for maximum gas limits for properties and transactions

  • Support for generation of block number and time changes between transactions

  • Constant extraction for return values

  • Multisender testing is now default

  • Other improvements to default configuration to tune test generation, comments on default config

  • In particular, note that by default the property sender and the caller of the contract constructor (thus, often, the owner) are the same now, which can change the behavior of some properties

  • Various bug-fixes and minor improvements

Assets 6
Loading