cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'origin/develop' into breaking

Browse Source
This commit is contained in:
chriseth
2020-06-15 17:11:41 +02:00
parent 375cdc4882 b94a00baf6
commit 8155ad2187
132 changed files with 1083 additions and 417 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/libsolidity/smtCheckerTests/functions/functions_recursive_indirect.sol
-1
View File
@@ -22,4 +22,3 @@ contract C
}
}
// ----
// Warning: (130-144): Error trying to invoke SMT solver.
test/libsolidity/smtCheckerTests/loops/for_1_false_positive.sol
-2
View File
@@ -14,6 +14,4 @@ contract C
}
}
// ----
// Warning: (296-309): Error trying to invoke SMT solver.
// Warning: (176-181): Overflow (resulting value larger than 2**256 - 1) happens here
// Warning: (296-309): Assertion violation happens here
test/libsolidity/smtCheckerTests/loops/for_loop_array_assignment_storage_storage.sol
-2
View File
@@ -19,7 +19,5 @@ contract LoopFor2 {
}
}
// ----
// Warning: (317-337): Error trying to invoke SMT solver.
// Warning: (317-337): Assertion violation happens here
// Warning: (341-360): Assertion violation happens here
// Warning: (364-383): Assertion violation happens here