Skip to content

Commit 6977718

Browse files
matheusaaguiarmatheusaaguiar
committed
Update cmdline tests
1 parent 32eae84 commit 6977718

File tree

73 files changed

+647
-45
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

73 files changed

+647
-45
lines changed

‎test/cmdlineTests/model_checker_targets_all_all_engines/err‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,9 @@
1+
Warning: transfer will be deprecated in the next breaking version.
2+
--> input.sol:10:3:
3+
|
4+
10 | a.transfer(x);
5+
| ^^^^^^^^^^
6+
17
Warning: CHC: Underflow (resulting value less than 0) happens here.
28
Counterexample:
39
arr = []

‎test/cmdlineTests/model_checker_targets_all_bmc/err‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,9 @@
1+
Warning: transfer will be deprecated in the next breaking version.
2+
--> input.sol:10:3:
3+
|
4+
10 | a.transfer(x);
5+
| ^^^^^^^^^^
6+
17
Warning: BMC: Condition is always true.
28
--> input.sol:6:11:
39
|

‎test/cmdlineTests/model_checker_targets_all_chc/err‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,9 @@
1+
Warning: transfer will be deprecated in the next breaking version.
2+
--> input.sol:10:3:
3+
|
4+
10 | a.transfer(x);
5+
| ^^^^^^^^^^
6+
17
Warning: CHC: Underflow (resulting value less than 0) happens here.
28
Counterexample:
39
arr = []

‎test/cmdlineTests/model_checker_targets_assert_bmc/err‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,9 @@
1+
Warning: transfer will be deprecated in the next breaking version.
2+
--> input.sol:10:3:
3+
|
4+
10 | a.transfer(x);
5+
| ^^^^^^^^^^
6+
17
Warning: BMC: Assertion violation happens here.
28
--> input.sol:11:3:
39
|

‎test/cmdlineTests/model_checker_targets_assert_chc/err‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,9 @@
1+
Warning: transfer will be deprecated in the next breaking version.
2+
--> input.sol:10:3:
3+
|
4+
10 | a.transfer(x);
5+
| ^^^^^^^^^^
6+
17
Warning: CHC: Assertion violation happens here.
28
Counterexample:
39
arr = []

‎test/cmdlineTests/model_checker_targets_balance_bmc/err‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,9 @@
1+
Warning: transfer will be deprecated in the next breaking version.
2+
--> input.sol:10:3:
3+
|
4+
10 | a.transfer(x);
5+
| ^^^^^^^^^^
6+
17
Warning: BMC: Insufficient funds happens here.
28
--> input.sol:10:3:
39
|

‎test/cmdlineTests/model_checker_targets_balance_chc/err‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1 +1,7 @@
1+
Warning: transfer will be deprecated in the next breaking version.
2+
--> input.sol:11:3:
3+
|
4+
11 | a.transfer(x);
5+
| ^^^^^^^^^^
6+
17
Info: CHC: 1 verification condition(s) proved safe! Enable the model checker option "show proved safe" to see all of them.

‎test/cmdlineTests/model_checker_targets_constant_condition_bmc/err‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,9 @@
1+
Warning: transfer will be deprecated in the next breaking version.
2+
--> input.sol:10:3:
3+
|
4+
10 | a.transfer(x);
5+
| ^^^^^^^^^^
6+
17
Warning: BMC: Condition is always true.
28
--> input.sol:6:11:
39
|

‎test/cmdlineTests/model_checker_targets_constant_condition_chc/err‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
Warning: transfer will be deprecated in the next breaking version.
2+
--> input.sol:11:3:
3+
|
4+
11 | a.transfer(x);
5+
| ^^^^^^^^^^

‎test/cmdlineTests/model_checker_targets_default_all_engines/err‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,9 @@
1+
Warning: transfer will be deprecated in the next breaking version.
2+
--> input.sol:10:3:
3+
|
4+
10 | a.transfer(x);
5+
| ^^^^^^^^^^
6+
17
Warning: CHC: Division by zero happens here.
28
Counterexample:
39
arr = []

0 commit comments

Comments
 (0)