Add Informational Messages to ksoroban/komet test (#32)

* Add info messages * Set Version: 0.1.23 * format * Set Version: 0.1.25 --------- Co-authored-by: devops <[email protected]>
runtimeverification · Sep 4, 2024 · 5b4a346 · 5b4a346
1 parent b6690a8
commit 5b4a346
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 5 deletions.
diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.24
+0.1.25
diff --git a/pyproject.toml b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "komet"
-version = "0.1.24"
+version = "0.1.25"
 description = "K tooling for the Soroban platform"
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

diff --git a/src/komet/kasmer.py b/src/komet/kasmer.py
@@ -218,15 +218,21 @@ def deploy_and_run(self, contract_wasm: Path) -> None:
         Raises:
             CalledProcessError if any of the tests fail
         """
+        print(f'Processing contract: {contract_wasm.stem}')
+
         contract_kast = self.kast_from_wasm(contract_wasm)
         conf, subst = self.deploy_test(contract_kast)
 
-        bindings = self.contract_bindings(contract_wasm)
+        bindings = [b for b in self.contract_bindings(contract_wasm) if b.name.startswith('test_')]
 
+        print(f'Discovered {len(bindings)} test functions:')
         for binding in bindings:
-            if not binding.name.startswith('test_'):
-                continue
+            print(f'    - {binding.name}')
+
+        for binding in bindings:
+            print(f'\n  Running {binding.name}...')
             self.run_test(conf, subst, binding)
+            print('    Test passed.')
 
     def deploy_and_prove(self, contract_wasm: Path, proof_dir: Path | None = None) -> None:
         """Prove all of the tests in a soroban test contract.