Unify the tools to perform end to end proofs and search for counterexamples

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Other

245 stars 46 forks source link

Closed shuvendu-lahiri closed 5 years ago

shuvendu-lahiri commented 5 years ago

Currently, a lot of tools had to be invoked (SolToBoogie, Corral, Boogie, SolToBoogieTest) to perform an end-to-end task.

shuvendu-lahiri commented 5 years ago

Addressed with VeriSol.dll in #129