update tests.

ethereum · Oct 20, 2020 · 3b99ed9 · 3b99ed9
1 parent 771c055
commit 3b99ed9
Show file tree

Hide file tree

Showing 2 changed files with 34 additions and 0 deletions.
diff --git a/test/libsolidity/semanticTests/types/mapping_enum_key.sol b/test/libsolidity/semanticTests/types/mapping_enum_key.sol
@@ -10,6 +10,8 @@ contract test {
 }
 // ====
 // EVMVersion: >=byzantium
+// ABIEncoderV1Only: true
+// compileViaYul: false
 // ----
 // get(uint8): 0 -> 0
 // get(uint8): 0x01 -> 0

diff --git a/test/libsolidity/semanticTests/types/mapping_enum_key_v2.sol b/test/libsolidity/semanticTests/types/mapping_enum_key_v2.sol
@@ -0,0 +1,32 @@
+pragma experimental ABIEncoderV2;
+enum E { A, B, C }
+contract test {
+    mapping(E => uint8) table;
+    function get(E k) public returns (uint8 v) {
+        return table[k];
+    }
+    function set(E k, uint8 v) public {
+        table[k] = v;
+    }
+}
+// ====
+// compileViaYul: also
+// EVMVersion: >=byzantium
+// ----
+// get(uint8): 0 -> 0
+// get(uint8): 0x01 -> 0
+// get(uint8): 0x02 -> 0
+// get(uint8): 0x03 -> FAILURE
+// 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