From 76b3a4a0462b4337a45aecda397879b2103a993d Mon Sep 17 00:00:00 2001 From: alpharush <0xalpharush@protonmail.com> Date: Thu, 9 Mar 2023 14:36:15 -0600 Subject: [PATCH] reenable tests closes https://github.com/crytic/optik/issues/66 --- tests/echidna/test_coverage.py | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) 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),