Automates the verification of Solidity tests written using BTT technique - View it on GitHub