From 49f6414b757a146a13453386b794ac73dd28723f Mon Sep 17 00:00:00 2001 From: Everett Hildenbrandt Date: Thu, 24 Aug 2023 14:23:54 +0000 Subject: [PATCH] kevm-pyk/test_prove, tests/failing-symbolic.haskell-booster: add failing list for booster tests --- kevm-pyk/src/tests/integration/test_prove.py | 4 ++- tests/failing-symbolic.haskell-booster | 26 ++++++++++++++++++++ 2 files changed, 29 insertions(+), 1 deletion(-) create mode 100644 tests/failing-symbolic.haskell-booster diff --git a/kevm-pyk/src/tests/integration/test_prove.py b/kevm-pyk/src/tests/integration/test_prove.py index 00b5d0ea7a..ee7ed61e20 100644 --- a/kevm-pyk/src/tests/integration/test_prove.py +++ b/kevm-pyk/src/tests/integration/test_prove.py @@ -72,6 +72,7 @@ def exclude_list(exclude_file: Path) -> list[Path]: FAILING_PYK_TESTS: Final = exclude_list(TEST_DIR / 'failing-symbolic.pyk') +FAILING_BOOSTER_TESTS: Final = exclude_list(TEST_DIR / 'failing-symbolic.haskell-booster') SLOW_TESTS: Final = exclude_list(TEST_DIR / 'slow.haskell') FAILING_TESTS: Final = exclude_list(TEST_DIR / 'failing-symbolic.haskell') @@ -202,6 +203,7 @@ def _target_for_spec(spec_file: Path, use_booster: bool) -> Target: SKIPPED_PYK_TESTS: Final = set().union(SLOW_TESTS, FAILING_TESTS, FAILING_PYK_TESTS) +SKIPPED_PYK_BOOSTER_TESTS: Final = set().union(SLOW_TESTS, FAILING_TESTS, FAILING_PYK_TESTS, FAILING_BOOSTER_TESTS) @pytest.mark.parametrize( @@ -218,7 +220,7 @@ def test_pyk_prove( ) -> None: caplog.set_level(logging.INFO) - if spec_file in SKIPPED_PYK_TESTS: + if spec_file in SKIPPED_PYK_TESTS or (use_booster and spec_file in SKIPPED_PYK_BOOSTER_TESTS): pytest.skip() # Given diff --git a/tests/failing-symbolic.haskell-booster b/tests/failing-symbolic.haskell-booster new file mode 100644 index 0000000000..ab5f9c494c --- /dev/null +++ b/tests/failing-symbolic.haskell-booster @@ -0,0 +1,26 @@ +tests/specs/benchmarks/staticarray00-spec.k +tests/specs/benchmarks/staticloop00-a0lt10-spec.k +tests/specs/benchmarks/storagevar00-spec.k +tests/specs/benchmarks/storagevar01-spec.k +tests/specs/benchmarks/storagevar02-nooverflow-spec.k +tests/specs/benchmarks/storagevar02-overflow-spec.k +tests/specs/erc20/ds/allowance-spec.k +tests/specs/erc20/ds/approve-failure-spec.k +tests/specs/erc20/ds/approve-success-spec.k +tests/specs/erc20/ds/balanceOf-spec.k +tests/specs/erc20/ds/totalSupply-spec.k +tests/specs/erc20/ds/transfer-failure-1-a-spec.k +tests/specs/erc20/ds/transfer-failure-1-c-spec.k +tests/specs/erc20/ds/transfer-failure-2-a-spec.k +tests/specs/erc20/ds/transfer-failure-2-b-spec.k +tests/specs/erc20/ds/transfer-success-2-spec.k +tests/specs/erc20/hkg/allowance-spec.k +tests/specs/erc20/hkg/balanceOf-spec.k +tests/specs/erc20/hkg/totalSupply-spec.k +tests/specs/erc20/hkg/transfer-failure-1-spec.k +tests/specs/erc20/hkg/transfer-failure-2-spec.k +tests/specs/functional/infinite-gas-spec.k +tests/specs/mcd/flipper-addu48u48-fail-rough-spec.k +tests/specs/mcd/flipper-tau-pass-spec.k +tests/specs/mcd/flipper-ttl-pass-spec.k +tests/specs/mcd/flopper-cage-pass-spec.k