pyk/tests/integration/proof/test_imp: update function argument names

runtimeverification · Nov 12, 2024 · ff1d21f · ff1d21f
1 parent 1af260b
commit ff1d21f
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/pyk/src/tests/integration/proof/test_imp.py b/pyk/src/tests/integration/proof/test_imp.py
@@ -893,7 +893,7 @@ def test_all_path_reachability_prove(
         tmp_path_factory: TempPathFactory,
     ) -> None:
         proof_dir = tmp_path_factory.mktemp(f'apr_tmp_proofs-{test_id}')
-        spec_modules = kprove.parse_modules(Path(spec_file), spec_module_name=spec_module)
+        spec_modules = kprove.parse_modules(Path(spec_file), module_name=spec_module)
         spec_label = f'{spec_module}.{claim_id}'
         proofs = APRProof.from_spec_modules(
             kprove.definition,
@@ -930,7 +930,7 @@ def test_terminal_node_subsumption(
         claim_id: str = 'terminal-node-subsumption'
         cut_rules: Iterable[str] = []
         proof_dir = tmp_path_factory.mktemp(f'apr_tmp_proofs-{test_id}')
-        spec_modules = kprove.parse_modules(Path(spec_file), spec_module_name=spec_module)
+        spec_modules = kprove.parse_modules(Path(spec_file), module_name=spec_module)
         spec_label = f'{spec_module}.{claim_id}'
         proofs = APRProof.from_spec_modules(
             kprove.definition,
@@ -1441,7 +1441,7 @@ def test_all_path_reachability_prove_parallel(
         create_prover: Callable[[int, Iterable[str]], Prover],
     ) -> None:
         proof_dir = tmp_path_factory.mktemp(f'apr_tmp_proofs-{test_id}')
-        spec_modules = kprove.parse_modules(Path(spec_file), spec_module_name=spec_module)
+        spec_modules = kprove.parse_modules(Path(spec_file), module_name=spec_module)
         spec_label = f'{spec_module}.{claim_id}'
         proofs = APRProof.from_spec_modules(
             kprove.definition,
@@ -1480,7 +1480,7 @@ def test_all_path_reachability_prove_parallel_resources(
         claim_id = 'addition-1'
 
         proof_dir = tmp_path_factory.mktemp(f'apr_tmp_proofs-{test_id}')
-        spec_modules = kprove.parse_modules(Path(spec_file), spec_module_name=spec_module)
+        spec_modules = kprove.parse_modules(Path(spec_file), module_name=spec_module)
         spec_label = f'{spec_module}.{claim_id}'
         proofs = APRProof.from_spec_modules(
             kprove.definition,