Counterexample generation

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Other

245 stars 46 forks source link

Counterexample generation #175

Closed ellab123 closed 5 years ago

ellab123 commented 5 years ago

Prints transaction sequence for the defect in the command line window. The sequence is generated by parsing corral.txt for the top level constructor and top level method calls, with the argument values attached.

shuvendu-lahiri commented 5 years ago

Addressing #155