reenable tests

closes #66
crytic · Mar 9, 2023 · 76b3a4a · 76b3a4a
1 parent 755a371
commit 76b3a4a
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/tests/echidna/test_coverage.py b/tests/echidna/test_coverage.py
@@ -22,12 +22,12 @@
     ("CoverageBytesM.sol", "path-relaxed", 1),
     ("CoverageBytes.sol", "path-relaxed", 2),
     ("CoverageString.sol", "path-relaxed", 2),
-    # ("CoverageStaticTuple.sol", "inst-tx-seq", 5),
-    # ("CoverageNestedTuple.sol", "inst-tx-seq", 5),
-    # ("CoverageArrayOfTuple.sol", "inst-tx-seq", 1),
-    # ("CoverageDynamicTuple1.sol", "inst-tx-seq", 1),
-    # ("CoverageDynamicTuple3.sol", "inst-tx-seq", 1),
-    # ("CoverageDynamicTuple2.sol", "inst-tx-seq", 1),
+    ("CoverageStaticTuple.sol", "inst-tx-seq", 5),
+    ("CoverageNestedTuple.sol", "inst-tx-seq", 5),
+    ("CoverageArrayOfTuple.sol", "inst-tx-seq", 1),
+    ("CoverageDynamicTuple1.sol", "inst-tx-seq", 1),
+    ("CoverageDynamicTuple3.sol", "inst-tx-seq", 1),
+    ("CoverageDynamicTuple2.sol", "inst-tx-seq", 1),
     ("CoverageNestedArrays1.sol", "inst-tx-seq", 1),
     ("CoverageNestedArrays2.sol", "inst-tx-seq", 1),
     ("CoverageNestedArrays3.sol", "inst-tx-seq", 1),