Remove overlooked calls to print (#97)

* Remove overlooked calls to `print`

* Set Version: 0.1.26

* Set Version: 0.1.27

---------

Co-authored-by: devops <devops@runtimeverification.com>

package/version

@@ -1 +1 @@
-0.1.26
+0.1.27

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kontrol"
-version = "0.1.26"
+version = "0.1.27"
 description = "Foundry integration for KEVM"
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",

src/kontrol/__init__.py

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

src/kontrol/foundry.py

@@ -455,9 +455,7 @@ def latest_proof_version(
         find the highest used proof ID, to be used as a default. Returns None if no version of this proof exists.
         """
         proof_ids = listdir(self.proofs_dir)
-        print(proof_ids)
         versions = {int(pid.split(':')[1]) for pid in proof_ids if pid.split(':')[0] == test}
-        print(versions)
         return max(versions, default=None)
 
     def free_proof_version(

src/tests/integration/test_foundry_prove.py

@@ -233,20 +233,6 @@ def test_foundry_merge_nodes(foundry_root: Path, bug_report: BugReport | None, s
         bug_report=bug_report,
     )
 
-    show_res = foundry_show(
-        foundry_root,
-        test=test,
-        to_module=True,
-        minimize=False,
-        sort_collections=True,
-        omit_unstable_output=True,
-        pending=True,
-        failing=True,
-        failure_info=True,
-        port=server.port,
-    )
-    print(show_res)
-
     check_pending(foundry_root, test, [4, 5])
 
     foundry_step_node(foundry_root, test, node=4, depth=49, port=server.port)

src/tests/unit/test_foundry_list.py

@@ -48,7 +48,6 @@ def contracts(self) -> dict[str, Contract]:
         return ret
 
     def get_optional_proof(self, test_id: str) -> Proof | None:
-        print(test_id)
         return Proof.read_proof_data(LIST_APR_PROOF, test_id)