solfuzzAssertion checker for Solidity smart contracts based on MythXethereumsolfuzzmythrilmythX0.2.2 • Published 4 years ago