search

microsoft / verisol

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

print events emitted #169

Closed shuvendu-lahiri closed 5 years ago

shuvendu-lahiri commented 5 years ago

Emit an assert {:EventEmitted "eventFoo_contract"} for "emit eventFoo(…)".

dotnet C:\verisol\Sources\VeriSol\bin\Debug\netcoreapp2.2\VeriSol.dll Event.sol EventTests