diff options
| author | Leonardo Alt <leo@ethereum.org> | 2018-10-22 16:29:03 +0800 |
|---|---|---|
| committer | Leonardo Alt <leo@ethereum.org> | 2018-10-25 15:30:48 +0800 |
| commit | d8cbf321dafbe85f6fde07b5dd4ce7a3abffaeb6 (patch) | |
| tree | e8d160211b6db84307670e86982171e7ac1f8d2d /test/libsolidity/smtCheckerTests/special | |
| parent | 01566c2e1af5b7f655fd593e5e1019e103d739a0 (diff) | |
| download | dexon-solidity-d8cbf321dafbe85f6fde07b5dd4ce7a3abffaeb6.tar.gz dexon-solidity-d8cbf321dafbe85f6fde07b5dd4ce7a3abffaeb6.tar.zst dexon-solidity-d8cbf321dafbe85f6fde07b5dd4ce7a3abffaeb6.zip | |
Grouping of symbolic variables in the same file and support to FixedBytes
Diffstat (limited to 'test/libsolidity/smtCheckerTests/special')
| -rw-r--r-- | test/libsolidity/smtCheckerTests/special/blockhash.sol | 4 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/special/msg_sig.sol | 4 |
2 files changed, 0 insertions, 8 deletions
diff --git a/test/libsolidity/smtCheckerTests/special/blockhash.sol b/test/libsolidity/smtCheckerTests/special/blockhash.sol index d0f263eb..1c693914 100644 --- a/test/libsolidity/smtCheckerTests/special/blockhash.sol +++ b/test/libsolidity/smtCheckerTests/special/blockhash.sol @@ -7,8 +7,4 @@ contract C } } // ---- -// Warning: (86-98): Assertion checker does not yet support this special variable. -// Warning: (86-98): Assertion checker does not yet implement this type. -// Warning: (86-102): Assertion checker does not yet implement the type bytes32 for comparisons -// Warning: (86-102): Internal error: Expression undefined for SMT solver. // Warning: (79-103): Assertion violation happens here 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 |