diff --git a/package/version b/package/version index 5a48b6b..0e7400f 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.24 +0.1.25 diff --git a/pyproject.toml b/pyproject.toml index a3f54a7..860175e 100644 --- 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. ", diff --git a/src/komet/kasmer.py b/src/komet/kasmer.py index e70e107..af428c2 100644 --- 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.