Remove module pyk.proof.parallel (#4449)

Superseded by `parallel_advance_proof` from `pyk.proof.proof`.
runtimeverification · Jun 19, 2024 · 41bcfac · 41bcfac
1 parent 4b845ff
commit 41bcfac
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 267 deletions.
diff --git a/pyk/src/pyk/proof/parallel.py b/pyk/src/pyk/proof/parallel.py
diff --git a/pyk/src/tests/integration/proof/test_parallel_prove.py b/pyk/src/tests/integration/proof/test_parallel_prove.py