summarize STOP

runtimeverification · Jan 9, 2025 · c8104fa · c8104fa
1 parent 82ace9a
commit c8104fa
Show file tree

Hide file tree

Showing 4 changed files with 1,172 additions and 22 deletions.
diff --git a/kevm-pyk/src/kevm_pyk/__main__.py b/kevm-pyk/src/kevm_pyk/__main__.py
@@ -639,10 +639,10 @@ def exec_summarize(options: ProveOptions) -> None:
     proof_dir = Path(__file__).parent / 'proofs'
     save_directory = Path(__file__).parent / 'summaries'
     summarizer = KEVMSummarizer(proof_dir, save_directory)
-    proof = summarizer.build_spec()
+    proof = summarizer.build_spec('STOP')
     summarizer.explore(proof)
-    # summarizer.summarize(proof)
-
+    summarizer.summarize(proof)
+    # summarizer.analyze_proof(proof_dir / 'STOP_SPEC')
 
 # Helpers