Create kompiled_targets_dir if it does not exist

Author: tothtamas28

kevm-pyk/src/tests/conftest.py

@@ -1,13 +1,11 @@
 from __future__ import annotations
 
+from pathlib import Path
 from typing import TYPE_CHECKING
 
 import pytest
-from pyk.cli.utils import dir_path
 
 if TYPE_CHECKING:
-    from pathlib import Path
-
     from pytest import FixtureRequest, Parser
 
 
@@ -32,7 +30,7 @@ def pytest_addoption(parser: Parser) -> None:
     )
     parser.addoption(
         '--kompiled-targets-dir',
-        type=dir_path,
+        type=Path,
         help='Use pre-kompiled definitions for proof tests',
     )
 

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

@@ -139,12 +139,20 @@ def __call__(self, output_dir: Path) -> Path:
 
 
 @pytest.fixture(scope='module')
-def kompiled_target_for(tmp_path_factory: TempPathFactory, kompiled_targets_dir: Path | None) -> Callable[[Path], Path]:
+def target_dir(kompiled_targets_dir: Path | None, tmp_path_factory: TempPathFactory) -> Path:
+    if kompiled_targets_dir:
+        kompiled_targets_dir.mkdir(parents=True, exist_ok=True)
+        return kompiled_targets_dir
+
+    return tmp_path_factory.mktemp('kompiled')
+
+
+
+@pytest.fixture(scope='module')
+def kompiled_target_for(target_dir: Path) -> Callable[[Path], Path]:
     """
     Generate a function that returns a path to the kompiled defintion for a given K spec. Invoke `kompile` only if no kompiled directory is cached for the spec.
     """
-    target_dir = kompiled_targets_dir or tmp_path_factory.mktemp('kompiled')
-
     def kompile(spec_file: Path) -> Path:
         target = _target_for_spec(spec_file)
         lock_file = target_dir / f'{target.id}.lock'