Solfuzz Packages

Assertion checker for Solidity smart contracts based on MythX