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

Modifiers inlined with wrong parameters #37

Closed dddejan closed 5 years ago

dddejan commented 5 years ago 
solc-verify.py test/solc-verify/BaseConstructorOrder.sol --no-modifies-analysis --output .
Verifying A::set: OK
Verifying A::[constructor]: OK
Verifying B1::[constructor]: OK
Verifying B2::[constructor]: OK
Verifying BaseConstructorOrder::[constructor]: ERROR
 - Source test/solc-verify/BaseConstructorOrder.sol, line 23, col 5: Assertion might not hold.
Verifying BaseConstructorOrder::: OK
Errors were found by the verifier.

Originally posted by @dddejan in https://github.com/SRI-CSL/solidity/issues/34#issuecomment-509335323

dddejan commented 5 years ago

This was a mistake