Fix bug to run the assembly directly

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Other

245 stars 46 forks source link

Closed XinxingLiu closed 4 years ago

shuvendu-lahiri commented 4 years ago

Thanks, should we update instruction in INSTALL.md to reflect how a developer uses VeriSol.dll directly?