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