diff options
| author | Leonardo Alt <leo@ethereum.org> | 2018-12-11 00:23:36 +0800 |
|---|---|---|
| committer | Leonardo Alt <leo@ethereum.org> | 2018-12-11 18:28:25 +0800 |
| commit | 08737e43dc9301594a19c4076bfcf403d23df1d7 (patch) | |
| tree | 147cef0d8071c4f26f46390a6792b78182566961 /test/libsolidity/smtCheckerTests/functions | |
| parent | baaefb4b422fb22a89af08b79e6595e7859d2323 (diff) | |
| download | dexon-solidity-08737e43dc9301594a19c4076bfcf403d23df1d7.tar dexon-solidity-08737e43dc9301594a19c4076bfcf403d23df1d7.tar.gz dexon-solidity-08737e43dc9301594a19c4076bfcf403d23df1d7.tar.bz2 dexon-solidity-08737e43dc9301594a19c4076bfcf403d23df1d7.tar.lz dexon-solidity-08737e43dc9301594a19c4076bfcf403d23df1d7.tar.xz dexon-solidity-08737e43dc9301594a19c4076bfcf403d23df1d7.tar.zst dexon-solidity-08737e43dc9301594a19c4076bfcf403d23df1d7.zip | |
[SMTChecker] Use SymbolicFunctionVariable for uninterpreted functions
Diffstat (limited to 'test/libsolidity/smtCheckerTests/functions')
| -rw-r--r-- | test/libsolidity/smtCheckerTests/functions/functions_identity_as_tuple.sol | 1 | ||||
| -rw-r--r-- | test/libsolidity/smtCheckerTests/functions/functions_identity_as_tuple_fail.sol | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/test/libsolidity/smtCheckerTests/functions/functions_identity_as_tuple.sol b/test/libsolidity/smtCheckerTests/functions/functions_identity_as_tuple.sol index 3793f411..2ecff63e 100644 --- a/test/libsolidity/smtCheckerTests/functions/functions_identity_as_tuple.sol +++ b/test/libsolidity/smtCheckerTests/functions/functions_identity_as_tuple.sol @@ -12,3 +12,4 @@ contract C } // ---- +// Warning: (153-156): Assertion checker does not yet implement tuples and inline arrays. diff --git a/test/libsolidity/smtCheckerTests/functions/functions_identity_as_tuple_fail.sol b/test/libsolidity/smtCheckerTests/functions/functions_identity_as_tuple_fail.sol index e3c80594..a9bde9e4 100644 --- a/test/libsolidity/smtCheckerTests/functions/functions_identity_as_tuple_fail.sol +++ b/test/libsolidity/smtCheckerTests/functions/functions_identity_as_tuple_fail.sol @@ -12,4 +12,5 @@ contract C } // ---- +// Warning: (153-156): Assertion checker does not yet implement tuples and inline arrays. // Warning: (163-176): Assertion violation happens here |