A VeriSol binary - Githubissues

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

A binary to run VeriSol directly for both proof and counterexample mode
Tried on test\workbench\AssetTransfer\WrapperFiles and test\workbench\AssetTransfer\FixedVersion
Change csproj files to copy files to output