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

Overflow in implicit constructor #69

Closed hajduakos closed 5 years ago

hajduakos commented 5 years ago

Seems like we don't assume no overflow in the beginning of the implicit constructor

hajduakos commented 5 years ago

Fixed in 533d95826cd174ceae3709f29d89aacfb1472058