Uri/update mutations to v7 (#33)

* updated mutation conf to v7 * deleting old .mconf file
Certora · Mar 21, 2024 · 0598970 · 0598970
1 parent 6ecd605
commit 0598970
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/lesson4_invariants/simple_voting/Voting.conf b/lesson4_invariants/simple_voting/Voting.conf
@@ -1,9 +1,14 @@
 {
     "files": [
-        "Voting.sol:Voting"
+        "Voting.sol"
     ],
     "verify": "Voting:Voting.spec",
     "wait_for_results": "all",
     "rule_sanity": "basic",
-    "msg": "A simple invariant example"
+    "msg": "A simple invariant example",
+    "mutations": {
+        "gambit": {
+            "filename": "Voting.sol"
+        }
+    }
 }
diff --git a/lesson4_invariants/simple_voting/mutate.mconf b/lesson4_invariants/simple_voting/mutate.mconf