search

SRI-CSL / solidity

This is solc-verify, a modular verifier for Solidity.
https://github.com/SRI-CSL/solidity/blob/boogie/SOLC-VERIFY-README.md
GNU General Public License v3.0
50 stars 14 forks source link

[0.7] Loop annotations are missing #156

Closed hajduakos closed 4 years ago

hajduakos commented 4 years ago

Loop annotations do not get translated to Boogie specs, this results in both false negatives/positives. Examples: basic/Loops.sol, examples/Annotations.sol

dddejan commented 4 years ago

fixed in 7391c4e53ba07188ad0f2b377b371757a445ea25