search

microsoft / verisol

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

Gas Instrumentation #239

Closed kferles closed 4 years ago

kferles commented 4 years ago

Some fixes in the gas instrumentation. All the changes are under the "TranslateFlags.InstrumentGas" flag, so none of the default behavior of Verisol is affected.