search

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts
Other
245 stars 46 forks source link

Port the workbench examples to solc 0.5.0 #158

Open shuvendu-lahiri opened 5 years ago

shuvendu-lahiri commented 5 years ago

The examples in test\Workbench\{WrapperFiles, FixedVersion} are still not ported to solc 0.5.0.