Skip to content

Commit 41c9256

Browse files
Update abi coder v1 tests
1 parent 2d375c8 commit 41c9256

File tree

55 files changed

+67
-1
lines changed

Some content is hidden

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

55 files changed

+67
-1
lines changed

test/cmdlineTests/viair_abicoder_v1/err

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,9 @@
1+
Warning (9511): ABI coder v1 is deprecated and scheduled for removal in the next breaking version (0.9).
2+
--> input.sol:3:1:
3+
|
4+
3 | pragma abicoder v1;
5+
| ^^^^^^^^^^^^^^^^^^^
6+
17
Warning (2066): Contract requests the ABI coder v1, which is incompatible with the IR. Using ABI coder v2 instead.
28
--> input.sol:4:1:
39
|

test/libsolidity/smtCheckerTests/functions/getters/array_of_structs_1.sol

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -15,4 +15,5 @@ contract D {
1515
// ====
1616
// SMTEngine: all
1717
// ----
18+
// Warning 9511: (0-19): ABI coder v1 is deprecated and scheduled for removal in the next breaking version (0.9).
1819
// Info 1391: CHC: 1 verification condition(s) proved safe! Enable the model checker option "show proved safe" to see all of them.

test/libsolidity/smtCheckerTests/functions/getters/array_of_structs_2.sol

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -20,5 +20,6 @@ contract D {
2020
// SMTEngine: all
2121
// SMTIgnoreCex: no
2222
// ----
23+
// Warning 9511: (0-19): ABI coder v1 is deprecated and scheduled for removal in the next breaking version (0.9).
2324
// Warning 6328: (267-281): CHC: Assertion violation happens here.\nCounterexample:\nitems = [{x: 42, y: 43}]\na = 42\nb = 43\n\nTransaction trace:\nD.constructor()\nState: items = []\nD.test()
2425
// Info 1391: CHC: 2 verification condition(s) proved safe! Enable the model checker option "show proved safe" to see all of them.

test/libsolidity/smtCheckerTests/functions/getters/array_of_structs_3.sol

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,5 +21,6 @@ contract D {
2121
// ====
2222
// SMTEngine: all
2323
// ----
24-
// Warning 6328: (322-336): CHC: Assertion violation happens here.
24+
// Warning 9511: (0-19): ABI coder v1 is deprecated and scheduled for removal in the next breaking version (0.9).
25+
// Warning 6328: (322-336): CHC: Assertion violation happens here.\nCounterexample:\nitems = [{x: 42, y: 43, arr: [0]}]\ntmp = [0]\na = 42\nb = 43\n\nTransaction trace:\nD.constructor()\nState: items = []\nD.test()
2526
// Info 1391: CHC: 2 verification condition(s) proved safe! Enable the model checker option "show proved safe" to see all of them.

test/libsolidity/syntaxTests/abiEncoder/conflicting_settings.sol

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,3 +2,4 @@ pragma abicoder v2;
22
pragma abicoder v1;
33
// ----
44
// SyntaxError 3845: (34-53): ABI coder has already been selected for this source unit.
5+
// Warning 9511: (34-53): ABI coder v1 is deprecated and scheduled for removal in the next breaking version (0.9).
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
pragma abicoder v1;
22
pragma abicoder v2;
33
// ----
4+
// Warning 9511: (0-19): ABI coder v1 is deprecated and scheduled for removal in the next breaking version (0.9).
45
// SyntaxError 3845: (20-39): ABI coder has already been selected for this source unit.
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
pragma abicoder v1;
22
pragma experimental ABIEncoderV2;
33
// ----
4+
// Warning 9511: (0-19): ABI coder v1 is deprecated and scheduled for removal in the next breaking version (0.9).
45
// SyntaxError 8273: (20-53): ABI coder v1 has already been selected through "pragma abicoder v1".
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,3 @@
11
pragma abicoder v1;
22
// ----
3+
// Warning 9511: (0-19): ABI coder v1 is deprecated and scheduled for removal in the next breaking version (0.9).
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,3 @@
11
pragma abicoder "v1";
22
// ----
3+
// Warning 9511: (0-21): ABI coder v1 is deprecated and scheduled for removal in the next breaking version (0.9).
Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,6 @@
11
pragma abicoder v1;
22
pragma abicoder v1;
33
// ----
4+
// Warning 9511: (0-19): ABI coder v1 is deprecated and scheduled for removal in the next breaking version (0.9).
45
// SyntaxError 3845: (20-39): ABI coder has already been selected for this source unit.
6+
// Warning 9511: (20-39): ABI coder v1 is deprecated and scheduled for removal in the next breaking version (0.9).

0 commit comments

Comments
 (0)