Extract test cases from ViewPureChecker

2023-10-03 13:03:40 +00:00 · 2018-06-06 15:41:41 +01:00
parent 59b35fa5b2
commit b2a3e165cb
23 changed files with 227 additions and 359 deletions
@@ -0,0 +1,12 @@
+contract C {
+    mapping(uint => uint) a;
+    function f() view public {
+        a;
+    }
+    function g() view public {
+        a[2];
+    }
+    function h() public {
+        a[2] = 3;
+    }
+}