Parallel exploration

package/version

@@ -1 +1 @@
-0.1.43
+0.1.44

pyproject.toml

@@ -4,14 +4,15 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kontrol"
-version = "0.1.43"
+version = "0.1.44"
 description = "Foundry integration for KEVM"
 authors = [
     "Runtime Verification, Inc. <[email protected]>",
 ]
 
 [tool.poetry.dependencies]
 python = "^3.10"
+multiprocess = "^0.70.15"
 kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.323", subdirectory = "kevm-pyk" }
 
 [tool.poetry.group.dev.dependencies]

src/kontrol/__init__.py

@@ -5,4 +5,4 @@
 if TYPE_CHECKING:
     from typing import Final
 
-VERSION: Final = '0.1.43'
+VERSION: Final = '0.1.44'

src/kontrol/__main__.py

@@ -10,6 +10,7 @@
 from kevm_pyk.cli import node_id_like
 from kevm_pyk.utils import arg_pair_of
 from pyk.cli.utils import file_path
+from pyk.proof.equality import EqualityProof
 from pyk.proof.reachability import APRProof
 from pyk.proof.tui import APRProofViewer
 
@@ -217,7 +218,10 @@ def exec_prove(
                 log = failure_log.print() + Foundry.help_info()
                 for line in log:
                     print(line)
+            elif isinstance(proof, EqualityProof):
+                print('EqualityProof failed.')
 
+    print('c')
     sys.exit(failed)