search

microsoft / verisol

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

Shuvendu flags #168

Closed shuvendu-lahiri closed 5 years ago

shuvendu-lahiri commented 5 years ago

Adding a few (hidden) flags to guard parts of the translation (not printed as the usage of VeriSol.dll).

Tested as follows:

dotnet D:\verisol\Sources\VeriSol\bin\Debug\netcoreapp2.2\VeriSol.dll Mapping.sol Mapping /omitDataValuesInTrace /omitSourceLineInfo /omitUnsignedSemantics /omitAxioms /omitHarness

The documentation of the flags are only internal in the file SolToBoogie\TranslatorFlags.cs