kevm_pyk/tests: enable --use-booster-dev on proof tests

kevm-pyk/src/tests/conftest.py

@@ -22,6 +22,12 @@ def pytest_addoption(parser: Parser) -> None:
         default=False,
         help='Use the kore-rpc-booster binary instead of kore-rpc',
     )
+    parser.addoption(
+        '--use-booster-dev',
+        action='store_true',
+        default=False,
+        help='Use the booster-dev binary instead of kore-rpc',
+    )
     parser.addoption(
         '--spec-name',
         default=None,
@@ -45,6 +51,11 @@ def use_booster(request: FixtureRequest) -> bool:
     return request.config.getoption('--use-booster')
 
 
+@pytest.fixture(scope='session')
+def use_booster_dev(request: FixtureRequest) -> bool:
+    return request.config.getoption('--use-booster-dev')
+
+
 @pytest.fixture(scope='session')
 def spec_name(request: FixtureRequest) -> str | None:
     return request.config.getoption('--spec-name')

kevm-pyk/src/tests/integration/test_prove.py

@@ -244,6 +244,7 @@ def test_pyk_prove(
     tmp_path: Path,
     caplog: LogCaptureFixture,
     use_booster: bool,
+    use_booster_dev: bool,
     bug_report: BugReport | None,
     spec_name: str | None,
 ) -> None:
@@ -273,6 +274,7 @@ def test_pyk_prove(
                 'save_directory': use_directory,
                 'md_selector': 'foo',  # TODO Ignored flag, this is to avoid KeyError
                 'use_booster': use_booster,
+                'use_booster_dev': use_booster_dev,
                 'bug_report': bug_report,
                 'break_on_calls': break_on_calls,
             }