feat: add gambit initial configuration

morpho-org · Nov 21, 2023 · 6a1829c · 6a1829c
1 parent f5dd194
commit 6a1829c
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/certora/gambit.conf b/certora/gambit.conf
@@ -0,0 +1,7 @@
+ {
+      "filename" : "src/Morpho.sol",
+      "solc": "solc8.19",
+      "sourceroot": "..",
+      "num_mutants": 15,
+      "solc_remappings": []
+}