Adjust existing tests.

ethereum · Oct 15, 2020 · 52aab54 · 52aab54
1 parent 4aead66
commit 52aab54
Show file tree

Hide file tree

Showing 2 changed files with 40 additions and 0 deletions.
diff --git a/test/libsolidity/semanticTests/types/mapping_enum_key_library.sol b/test/libsolidity/semanticTests/types/mapping_enum_key_library.sol
@@ -18,6 +18,7 @@ contract test {
 }
 // ====
 // EVMVersion: >=byzantium
+// ABIEncoderV1Only: true
 // ----
 // library: L
 // get(uint8): 0 -> 0

diff --git a/test/libsolidity/semanticTests/types/mapping_enum_key_library_encoderV2.sol b/test/libsolidity/semanticTests/types/mapping_enum_key_library_encoderV2.sol
@@ -0,0 +1,39 @@
+pragma experimental ABIEncoderV2;
+
+enum E { A, B, C }
+library L {
+    function get(mapping(E => uint8) storage table, E k) external returns (uint8) {
+        return table[k];
+    }
+    function set(mapping(E => uint8) storage table, E k, uint8 v) external {
+        table[k] = v;
+    }
+}
+contract test {
+    mapping(E => uint8) table;
+    function get(E k) public returns (uint8 v) {
+        return L.get(table, k);
+    }
+    function set(E k, uint8 v) public {
+        L.set(table, k, v);
+    }
+}
+// ====
+// EVMVersion: >=byzantium
+// ----
+// library: L
+// get(uint8): 0 -> 0
+// get(uint8): 0x01 -> 0
+// get(uint8): 0xa7 -> FAILURE
+// set(uint8,uint8): 0x01, 0xa1 ->
+// get(uint8): 0 -> 0
+// get(uint8): 0x01 -> 0xa1
+// get(uint8): 0xa7 -> FAILURE
+// set(uint8,uint8): 0x00, 0xef ->
+// get(uint8): 0 -> 0xef
+// get(uint8): 0x01 -> 0xa1
+// get(uint8): 0xa7 -> FAILURE
+// set(uint8,uint8): 0x01, 0x05 ->
+// get(uint8): 0 -> 0xef
+// get(uint8): 0x01 -> 0x05
+// get(uint8): 0xa7 -> FAILURE