search

microsoft / verisol

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

Ellab funargs #165

Closed ellab123 closed 5 years ago

ellab123 commented 5 years ago

Adding BoogieCallCmd to print function argument values into corral.txt. This is needed to generate a test case for the counterexample.