More precise modeling for "now" construct.

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Other

245 stars 46 forks source link

Closed kferles closed 4 years ago

kferles commented 4 years ago

Ensures that the "now" variable only increases after each loop iteration of the harness.
"now" and "block.timestamp" are now synonyms.

shuvendu-lahiri commented 4 years ago

There is a merge conflict. Can you resolve?