blob: 7e748f09406c097003f73a918ddb2e239238270b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pragma experimental SMTChecker;
contract C
{
function f() public payable {
assert(msg.data.length > 0);
}
}
// ----
// Warning: (86-101): Assertion checker does not yet support this expression.
// Warning: (86-94): Assertion checker does not yet support this special variable.
// Warning: (86-94): Assertion checker does not yet implement this type.
// Warning: (86-101): Internal error: Expression undefined for SMT solver.
// Warning: (79-106): Assertion violation happens here
|
