kupl/VeriSmart-public Issues
undefined symbol: Z3_fixedpoint_pop
Updated 1Verify timeout
Updated 1Unsupported Revert Statement
UpdatedInterface Deviations
Closed 4Assertion fails in OS X
Closed 1How to use src/exploit/train.py
Updated 2
a safety verifier for Solidity smart contracts