blob: 4d082026d0d0cd85d8bfbeef680778ddda7596e9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
pragma experimental SMTChecker;
contract C {
function f(uint x) public pure {
for (uint y = 2; x < 10; y = 3) {
assert(y == 2);
}
}
}
// ----
// Warning: (136-150): Assertion violation happens here
|