extend lines with a str of the summary

runtimeverification · Jul 25, 2023 · 8fcc78c · 8fcc78c
1 parent ee75bb7
commit 8fcc78c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kevm-pyk/src/kevm_pyk/foundry.py b/kevm-pyk/src/kevm_pyk/foundry.py
@@ -675,7 +675,7 @@ def foundry_list(foundry_root: Path) -> list[str]:
         proof_digest = foundry.proof_digest(contract_name, test_name)
         if APRProof.proof_exists(proof_digest, apr_proofs_dir):
             apr_proof = APRProof.read_proof(proof_digest, apr_proofs_dir)
-            lines.extend(apr_proof.summary)
+            lines.extend(str(apr_proof.summary))
             lines.append('')
     if len(lines) > 0:
         lines = lines[0:-1]