mutations fixes

Author: liav-certora

DEFI/ERC20/mutation.conf

@@ -0,0 +1,22 @@
+{
+    "files": [
+      "contracts/ERC20.sol"
+    ],
+    "verify": "ERC20:certora/specs/ERC20Full.spec",
+    "msg": "ERC20 Full spec",
+    "rule_sanity": "basic",
+    "optimistic_loop": true,
+    "mutations": {
+        "gambit": {
+                  "filename" : "contracts/ERC20.sol",
+                  "num_mutants": 57
+        },
+        "manual_mutants": [
+            {
+              "file_to_mutate": "contracts/ERC20.sol", 
+              "mutants_location": "mutant"
+            }
+        ],
+        "msg": "ERC20 mutations"
+    }
+}

DEFI/ERC20/mutation.mconf

@@ -0,0 +1,20 @@
+{
+  "files": [
+    "contracts/Pool.sol",
+    "contracts/Asset.sol",
+    "certora/harness/TrivialReceiver.sol"
+  ],
+  "verify": "Pool:certora/specs/Full.spec",
+  "msg": "Pool with linking",
+  "link": [
+        "Pool:asset=Asset"
+    ],
+  "parametric_contracts": ["Pool"],
+  "rule_sanity": "basic",
+  "mutations": {
+      "gambit": {
+        "filename" : "contracts/Pool.sol",
+        "num_mutants": 30
+      }
+  }
+}