Add testcase for enum at file level

SRI-CSL · Jan 7, 2021 · 428104d · 428104d
1 parent 943c00f
commit 428104d
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/test/solc-verify/basic/EnumInFile.sol b/test/solc-verify/basic/EnumInFile.sol
@@ -0,0 +1,13 @@
+// SPDX-License-Identifier: GPL-3.0
+pragma solidity >=0.7.0;
+
+enum Fruit { Apple, Banana, Strawberry }
+
+contract C {
+    Fruit fruit;
+
+    /// @notice postcondition fruit == fr
+    function f(Fruit fr) public {
+        fruit = fr;
+    }
+}
diff --git a/test/solc-verify/basic/EnumInFile.sol.gold b/test/solc-verify/basic/EnumInFile.sol.gold
@@ -0,0 +1,3 @@
+C::f: OK
+C::[implicit_constructor]: OK
+No errors found.