diff --git a/tests/echidna/test_coverage.py b/tests/echidna/test_coverage.py index dbe303d..167e4b2 100644 --- 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),