diff options
Diffstat (limited to 'test/libsolidity/smtCheckerTests/special/msg_sig.sol')
| -rw-r--r-- | test/libsolidity/smtCheckerTests/special/msg_sig.sol | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/test/libsolidity/smtCheckerTests/special/msg_sig.sol b/test/libsolidity/smtCheckerTests/special/msg_sig.sol index 6f832179..109470a8 100644 --- a/test/libsolidity/smtCheckerTests/special/msg_sig.sol +++ b/test/libsolidity/smtCheckerTests/special/msg_sig.sol @@ -7,8 +7,4 @@ contract C } } // ---- -// Warning: (86-93): Assertion checker does not yet support this special variable. -// Warning: (86-93): Assertion checker does not yet implement this type. -// Warning: (86-107): Assertion checker does not yet implement the type bytes4 for comparisons -// Warning: (86-107): Internal error: Expression undefined for SMT solver. // Warning: (79-108): Assertion violation happens here |