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

Make timeout tests harder

Browse Source
This commit is contained in:
Leonardo Alt
2020-11-06 13:35:07 +00:00
parent 6309d78762
commit 1b6abfa37f
15 changed files with 769 additions and 157 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/cmdlineTests/model_checker_timeout_chc/err
+4 -16
View File
@@ -1,17 +1,5 @@
Warning: CHC: Assertion violation might happen here.
--> model_checker_timeout_chc/input.sol:6:3:
|
6 | assert(x > 0);
| ^^^^^^^^^^^^^
Warning: CHC: Assertion violation might happen here.
--> model_checker_timeout_chc/input.sol:7:3:
|
7 | assert(x > 2);
| ^^^^^^^^^^^^^
Warning: CHC: Assertion violation might happen here.
--> model_checker_timeout_chc/input.sol:8:3:
|
8 | assert(x > 4);
| ^^^^^^^^^^^^^
--> model_checker_timeout_chc/input.sol:10:3:
|
10 | assert(r % k == 0);
| ^^^^^^^^^^^^^^^^^^