Skip to content

Commit 95484d9

Browse files
author
Leonardo Alt
committed
Fix tests after rebase
1 parent d70ebbb commit 95484d9

File tree

44 files changed

+59
-72
lines changed

Some content is hidden

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

44 files changed

+59
-72
lines changed

‎test/libsolidity/smtCheckerTests/array_members/pop_constructor_unsafe.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -7,4 +7,4 @@ contract C {
77
}
88
}
99
// ----
10-
// Warning 2529: (76-83): Empty array "pop" detected here.
10+
// Warning 2529: (76-83): Empty array "pop" detected here

‎test/libsolidity/smtCheckerTests/array_members/push_push_no_args_1_fail.sol

+2-2
Original file line numberDiff line numberDiff line change
@@ -8,5 +8,5 @@ contract C {
88
}
99
}
1010
// ----
11-
// Warning 4661: (113-139): Assertion violation happens here
12-
// Warning 4661: (143-189): Assertion violation happens here
11+
// Warning 6328: (113-139): Assertion violation happens here
12+
// Warning 6328: (143-189): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/array_members/push_push_no_args_2_fail.sol

+3-3
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,6 @@ contract C {
1010
}
1111
}
1212
// ----
13-
// Warning 4661: (122-148): Assertion violation happens here
14-
// Warning 4661: (202-218): Assertion violation happens here
15-
// Warning 4661: (222-278): Assertion violation happens here
13+
// Warning 6328: (122-148): Assertion violation happens here
14+
// Warning 6328: (202-218): Assertion violation happens here
15+
// Warning 6328: (222-278): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/array_members/storage_pointer_push_1.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -15,4 +15,4 @@ contract C {
1515
}
1616
}
1717
// ----
18-
// Warning 4661: (184-213): Assertion violation happens here
18+
// Warning 6328: (184-213): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/external_calls/external_hash.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -26,4 +26,4 @@ contract C {
2626
}
2727
}
2828
// ----
29-
// Warning 4661: (423-445): Assertion violation happens here
29+
// Warning 6328: (423-445): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_pure.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -28,4 +28,4 @@ contract C {
2828
}
2929
}
3030
// ----
31-
// Warning 4661: (431-453): Assertion violation happens here
31+
// Warning 6328: (431-453): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -34,5 +34,5 @@ contract C {
3434
}
3535
}
3636
// ----
37+
// Warning 6328: (528-565): Assertion violation happens here
3738
// Warning 5084: (544-554): Type conversion is not yet fully supported and might yield false positives.
38-
// Warning 4661: (528-565): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_reentrancy.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -29,4 +29,4 @@ contract C {
2929
}
3030
}
3131
// ----
32-
// Warning 4661: (299-313): Assertion violation happens here
32+
// Warning 6328: (299-313): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_reentrancy_indirect.sol

+2-4
Original file line numberDiff line numberDiff line change
@@ -42,8 +42,6 @@ contract C {
4242
}
4343
}
4444
// ----
45-
// Warning 6328: (459-473): Assertion violation happens here
46-
// Warning 6328: (477-503): Assertion violation happens here
45+
// Warning 6328: (452-466): Assertion violation happens here
46+
// Warning 6328: (470-496): Assertion violation happens here
4747
// Warning 5084: (92-102): Type conversion is not yet fully supported and might yield false positives.
48-
// Warning 4661: (452-466): Assertion violation happens here
49-
// Warning 4661: (470-496): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_reentrancy_unsafe.sol

+2-4
Original file line numberDiff line numberDiff line change
@@ -34,8 +34,6 @@ contract C {
3434
}
3535
}
3636
// ----
37-
// Warning 6328: (388-402): Assertion violation happens here
38-
// Warning 6328: (406-432): Assertion violation happens here
37+
// Warning 6328: (381-395): Assertion violation happens here
38+
// Warning 6328: (399-425): Assertion violation happens here
3939
// Warning 5084: (116-126): Type conversion is not yet fully supported and might yield false positives.
40-
// Warning 4661: (381-395): Assertion violation happens here
41-
// Warning 4661: (399-425): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/external_calls/external_hash_known_code_state_unsafe.sol

+2-2
Original file line numberDiff line numberDiff line change
@@ -38,6 +38,6 @@ contract C {
3838
}
3939
}
4040
// ----
41-
// Warning 4661: (435-461): Assertion violation happens here
41+
// Warning 6328: (435-461): Assertion violation happens here
42+
// Warning 6328: (594-631): Assertion violation happens here
4243
// Warning 5084: (610-620): Type conversion is not yet fully supported and might yield false positives.
43-
// Warning 4661: (594-631): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/constructor_hierarchy.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,4 +13,4 @@ contract A is C {
1313
}
1414
}
1515
// ----
16-
// Warning 4661: (152-166): Assertion violation happens here
16+
// Warning 6328: (152-166): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_2.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -4,4 +4,4 @@ contract A is C { constructor() C(2) { assert(a == 2); } }
44
contract B is C { constructor() C(3) { assert(a == 3); } }
55
contract J is C { constructor() C(3) { assert(a == 4); } }
66
// ----
7-
// Warning 4661: (243-257): Assertion violation happens here
7+
// Warning 6328: (243-257): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_3.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,6 @@ contract A is B {
1919
}
2020
}
2121
// ----
22+
// Warning 6328: (232-250): Assertion violation happens here
2223
// Warning 2661: (203-208): Overflow (resulting value larger than 2**256 - 1) happens here
2324
// Warning 2661: (244-249): Overflow (resulting value larger than 2**256 - 1) happens here
24-
// Warning 4661: (232-250): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ contract A is B2, B1 {
2525
}
2626
}
2727
// ----
28+
// Warning 6328: (302-320): Assertion violation happens here
2829
// Warning 2661: (200-205): Overflow (resulting value larger than 2**256 - 1) happens here
2930
// Warning 2661: (200-205): Overflow (resulting value larger than 2**256 - 1) happens here
3031
// Warning 2661: (314-319): Overflow (resulting value larger than 2**256 - 1) happens here
31-
// Warning 4661: (302-320): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond_2.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ contract A is B2, B1 {
2525
}
2626
}
2727
// ----
28+
// Warning 6328: (302-320): Assertion violation happens here
2829
// Warning 2661: (200-205): Overflow (resulting value larger than 2**256 - 1) happens here
2930
// Warning 2661: (200-205): Overflow (resulting value larger than 2**256 - 1) happens here
3031
// Warning 2661: (314-319): Overflow (resulting value larger than 2**256 - 1) happens here
31-
// Warning 4661: (302-320): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond_3.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -27,11 +27,11 @@ contract A is B2, B1 {
2727
}
2828
}
2929
// ----
30+
// Warning 6328: (334-350): Assertion violation happens here
3031
// Warning 4144: (160-165): Underflow (resulting value less than 0) happens here
3132
// Warning 2661: (160-165): Overflow (resulting value larger than 2**256 - 1) happens here
3233
// Warning 2661: (225-230): Overflow (resulting value larger than 2**256 - 1) happens here
3334
// Warning 2661: (241-246): Overflow (resulting value larger than 2**256 - 1) happens here
3435
// Warning 2661: (225-230): Overflow (resulting value larger than 2**256 - 1) happens here
3536
// Warning 2661: (241-246): Overflow (resulting value larger than 2**256 - 1) happens here
3637
// Warning 2661: (160-165): Overflow (resulting value larger than 2**256 - 1) happens here
37-
// Warning 4661: (334-350): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_diamond_empty_middle.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -20,4 +20,4 @@ contract A is B, B2 {
2020
}
2121
// ----
2222
// Warning 5667: (164-170): Unused function parameter. Remove or comment out the variable name to silence this warning.
23-
// Warning 4661: (194-208): Assertion violation happens here
23+
// Warning 6328: (194-208): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_empty_chain.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -19,4 +19,4 @@ contract A is B {
1919
}
2020
// ----
2121
// Warning 5667: (194-200): Unused function parameter. Remove or comment out the variable name to silence this warning.
22-
// Warning 4661: (224-238): Assertion violation happens here
22+
// Warning 6328: (224-238): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_empty_middle.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -17,4 +17,4 @@ contract A is B {
1717
}
1818
// ----
1919
// Warning 5667: (138-144): Unused function parameter. Remove or comment out the variable name to silence this warning.
20-
// Warning 4661: (172-186): Assertion violation happens here
20+
// Warning 6328: (172-186): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_empty_middle_no_invocation.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -16,4 +16,4 @@ contract A is B {
1616
}
1717
// ----
1818
// Warning 5667: (138-144): Unused function parameter. Remove or comment out the variable name to silence this warning.
19-
// Warning 4661: (150-164): Assertion violation happens here
19+
// Warning 6328: (150-164): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_mixed_chain.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -27,4 +27,4 @@ contract A is B {
2727
}
2828
// ----
2929
// Warning 5667: (254-260): Unused function parameter. Remove or comment out the variable name to silence this warning.
30-
// Warning 4661: (284-298): Assertion violation happens here
30+
// Warning 6328: (284-298): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_mixed_chain_local_vars.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -32,4 +32,4 @@ contract A is B {
3232
}
3333
// ----
3434
// Warning 5667: (296-302): Unused function parameter. Remove or comment out the variable name to silence this warning.
35-
// Warning 4661: (357-372): Assertion violation happens here
35+
// Warning 6328: (357-372): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_mixed_chain_with_params.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -25,6 +25,6 @@ contract A is B {
2525
}
2626
}
2727
// ----
28+
// Warning 6328: (328-342): Assertion violation happens here
2829
// Warning 2661: (247-252): Overflow (resulting value larger than 2**256 - 1) happens here
2930
// Warning 2661: (247-252): Overflow (resulting value larger than 2**256 - 1) happens here
30-
// Warning 4661: (328-342): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_mixed_chain_with_params_2.sol

+1-2
Original file line numberDiff line numberDiff line change
@@ -23,5 +23,4 @@ contract B is C {
2323
contract A is B {
2424
}
2525
// ----
26-
// Warning 4661: (266-280): Assertion violation happens here
27-
// Warning 4661: (266-280): Assertion violation happens here
26+
// Warning 6328: (266-280): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_modifier.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -14,4 +14,4 @@ contract A is C {
1414
}
1515
}
1616
// ----
17-
// Warning 4661: (188-202): Assertion violation happens here
17+
// Warning 6328: (188-202): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_same_var.sol

+2-2
Original file line numberDiff line numberDiff line change
@@ -13,5 +13,5 @@ contract A is C {
1313
}
1414
}
1515
// ----
16-
// Warning 4661: (134-148): Assertion violation happens here
17-
// Warning 4661: (152-168): Assertion violation happens here
16+
// Warning 6328: (134-148): Assertion violation happens here
17+
// Warning 6328: (152-168): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/constructor_simple.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,4 +13,4 @@ contract C {
1313
}
1414
}
1515
// ----
16-
// Warning 4661: (141-155): Assertion violation happens here
16+
// Warning 6328: (141-155): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/constructor_state_value.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,4 +13,4 @@ contract C {
1313
}
1414
}
1515
// ----
16-
// Warning 4661: (145-159): Assertion violation happens here
16+
// Warning 6328: (145-159): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/constructor_state_value_inherited.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -15,4 +15,4 @@ contract C is B {
1515
}
1616
}
1717
// ----
18-
// Warning 4661: (165-179): Assertion violation happens here
18+
// Warning 6328: (165-179): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/constructor_state_value_parameter.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,5 +13,5 @@ contract C {
1313
}
1414
}
1515
// ----
16-
// Warning 4661: (162-176): Assertion violation happens here
16+
// Warning 6328: (162-176): Assertion violation happens here
1717
// Warning 2661: (115-120): Overflow (resulting value larger than 2**256 - 1) happens here

‎test/libsolidity/smtCheckerTests/functions/internal_call_with_assertion_1_fail.sol

+5-7
Original file line numberDiff line numberDiff line change
@@ -21,12 +21,10 @@ contract C{
2121
}
2222
// ----
2323
// Warning 5667: (70-76): Unused function parameter. Remove or comment out the variable name to silence this warning.
24-
// Warning 4661: (138-152): Assertion violation happens here
24+
// Warning 6328: (138-152): Assertion violation happens here
25+
// Warning 6328: (170-184): Assertion violation happens here
26+
// Warning 6328: (220-234): Assertion violation happens here
27+
// Warning 6328: (245-259): Assertion violation happens here
28+
// Warning 6328: (82-96): Assertion violation happens here
2529
// Warning 2661: (156-159): Overflow (resulting value larger than 2**256 - 1) happens here
26-
// Warning 4661: (220-234): Assertion violation happens here
27-
// Warning 4661: (245-259): Assertion violation happens here
28-
// Warning 4661: (170-184): Assertion violation happens here
29-
// Warning 4661: (220-234): Assertion violation happens here
3030
// Warning 4144: (238-241): Underflow (resulting value less than 0) happens here
31-
// Warning 4661: (245-259): Assertion violation happens here
32-
// Warning 4661: (82-96): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/internal_call_with_assertion_inheritance_1_fail.sol

+2-5
Original file line numberDiff line numberDiff line change
@@ -18,10 +18,7 @@ contract C is A {
1818
}
1919
// ----
2020
// Warning 6328: (82-96): Assertion violation happens here
21-
// Warning 6328: (155-169): Assertion violation happens here
22-
// Warning 6328: (187-201): Assertion violation happens here
21+
// Warning 6328: (148-162): Assertion violation happens here
22+
// Warning 6328: (180-194): Assertion violation happens here
2323
// Warning 4144: (100-103): Underflow (resulting value less than 0) happens here
2424
// Warning 4144: (100-103): Underflow (resulting value less than 0) happens here
25-
// Warning 4661: (148-162): Assertion violation happens here
26-
// Warning 4661: (82-96): Assertion violation happens here
27-
// Warning 4661: (180-194): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/functions/internal_multiple_calls_with_assertion_1_fail.sol

+3-3
Original file line numberDiff line numberDiff line change
@@ -21,10 +21,10 @@ contract C{
2121
}
2222
// ----
2323
// Warning 5667: (70-76): Unused function parameter. Remove or comment out the variable name to silence this warning.
24-
// Warning 4661: (138-152): Assertion violation happens here
24+
// Warning 6328: (138-152): Assertion violation happens here
25+
// Warning 6328: (184-198): Assertion violation happens here
26+
// Warning 6328: (82-96): Assertion violation happens here
2527
// Warning 2661: (156-159): Overflow (resulting value larger than 2**256 - 1) happens here
2628
// Warning 2661: (163-166): Overflow (resulting value larger than 2**256 - 1) happens here
2729
// Warning 2661: (234-237): Overflow (resulting value larger than 2**256 - 1) happens here
28-
// Warning 4661: (184-198): Assertion violation happens here
2930
// Warning 4144: (234-237): Underflow (resulting value less than 0) happens here
30-
// Warning 4661: (82-96): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/inheritance/constructor_hierarchy_mixed_chain_with_params.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -25,6 +25,6 @@ contract A is B {
2525
}
2626
}
2727
// ----
28+
// Warning 6328: (328-342): Assertion violation happens here
2829
// Warning 2661: (247-252): Overflow (resulting value larger than 2**256 - 1) happens here
2930
// Warning 2661: (247-252): Overflow (resulting value larger than 2**256 - 1) happens here
30-
// Warning 4661: (328-342): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -8,4 +8,4 @@ contract C {
88
}
99
}
1010
// ----
11-
// Warning 4661: (97-111): Assertion violation happens here
11+
// Warning 6328: (97-111): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_base.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -11,4 +11,4 @@ contract D is C {
1111
}
1212
}
1313
// ----
14-
// Warning 4661: (117-131): Assertion violation happens here
14+
// Warning 6328: (117-131): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_chain.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -19,4 +19,4 @@ contract D is C {
1919
}
2020
}
2121
// ----
22-
// Warning 4661: (211-225): Assertion violation happens here
22+
// Warning 6328: (211-225): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_chain_alternate.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -18,4 +18,4 @@ contract D is C {
1818
}
1919
}
2020
// ----
21-
// Warning 4661: (185-199): Assertion violation happens here
21+
// Warning 6328: (185-199): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_chain_run_all.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -22,6 +22,7 @@ contract A is B {
2222
}
2323

2424
// ----
25+
// Warning 6328: (275-293): Assertion violation happens here
2526
// Warning 4144: (157-162): Underflow (resulting value less than 0) happens here
2627
// Warning 2661: (157-162): Overflow (resulting value larger than 2**256 - 1) happens here
2728
// Warning 2661: (216-221): Overflow (resulting value larger than 2**256 - 1) happens here
@@ -30,4 +31,3 @@ contract A is B {
3031
// Warning 2661: (261-266): Overflow (resulting value larger than 2**256 - 1) happens here
3132
// Warning 2661: (261-270): Overflow (resulting value larger than 2**256 - 1) happens here
3233
// Warning 2661: (287-292): Overflow (resulting value larger than 2**256 - 1) happens here
33-
// Warning 4661: (275-293): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_chain_run_all_2.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -22,10 +22,10 @@ contract A is B {
2222
}
2323

2424
// ----
25+
// Warning 6328: (273-291): Assertion violation happens here
2526
// Warning 2661: (157-163): Overflow (resulting value larger than 2**256 - 1) happens here
2627
// Warning 2661: (217-222): Overflow (resulting value larger than 2**256 - 1) happens here
2728
// Warning 2661: (157-163): Overflow (resulting value larger than 2**256 - 1) happens here
2829
// Warning 2661: (240-245): Overflow (resulting value larger than 2**256 - 1) happens here
2930
// Warning 2661: (262-268): Overflow (resulting value larger than 2**256 - 1) happens here
3031
// Warning 2661: (285-290): Overflow (resulting value larger than 2**256 - 1) happens here
31-
// Warning 4661: (273-291): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_diamond.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -17,4 +17,4 @@ contract D is B, C {
1717
}
1818
}
1919
// ----
20-
// Warning 4661: (162-176): Assertion violation happens here
20+
// Warning 6328: (162-176): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/inheritance/constructor_state_variable_init_diamond_middle.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -19,4 +19,4 @@ contract D is B, C {
1919
}
2020
}
2121
// ----
22-
// Warning 4661: (214-228): Assertion violation happens here
22+
// Warning 6328: (214-228): Assertion violation happens here

‎test/libsolidity/smtCheckerTests/special/many.sol

+2-5
Original file line numberDiff line numberDiff line change
@@ -21,9 +21,6 @@ contract C
2121
// Warning 6328: (208-240): Assertion violation happens here
2222
// Warning 6328: (244-275): Assertion violation happens here
2323
// Warning 6328: (304-332): Assertion violation happens here
24-
// Warning 6328: (336-352): Assertion violation happens here
25-
// Warning 6328: (356-379): Assertion violation happens here
24+
// Warning 6328: (336-364): Assertion violation happens here
25+
// Warning 6328: (368-391): Assertion violation happens here
2626
// Warning 2661: (311-316): Overflow (resulting value larger than 2**256 - 1) happens here
27-
// Warning 4661: (304-332): Assertion violation happens here
28-
// Warning 4661: (336-364): Assertion violation happens here
29-
// Warning 4661: (368-391): Assertion violation happens here

0 commit comments

Comments
 (0)