kevm-pyk/test_prove, tests/failing-symbolic.haskell-booster: add fail…

…ing list for booster tests

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

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