search

microsoft / verisol

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

Question: what does the json file do in the config directory? Can I specify the options of verisol in the .sol file? #271

Closed skywormfol closed 4 years ago

skywormfol commented 4 years ago

As titled:

what does the json file do in the config directory? Can I specify the options of verisol in the .sol file?

Is assertion statement a must in solidity source-code when check overflow with verisol?

Thanks a lot!

shuvendu-lahiri commented 4 years ago

The json file in test\config\ folder is purely for consumption of the tool that runs regressions. VeriSol takes its input in the command line.