From c9ab9190d1eb758c19267b56522d555f9d8eabd0 Mon Sep 17 00:00:00 2001 From: Burak Bilge Yalcinkaya Date: Mon, 2 Feb 2026 12:54:18 +0300 Subject: [PATCH 1/5] Display Rust test contract name in progress bar --- src/skribe/contract.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/skribe/contract.py b/src/skribe/contract.py index 721855f..8a0699d 100644 --- a/src/skribe/contract.py +++ b/src/skribe/contract.py @@ -83,7 +83,7 @@ def methods(self) -> tuple[Method, ...]: id=0, abi=method_abi, ast=None, - contract_name_with_path='', + contract_name_with_path=self.name_with_path, contract_digest='', contract_storage_digest='', sort=KSort(f'{EVMContract.escaped(self.name_with_path, "S2K")}Method'), From 9dcd500551e42058ff85076b547bedc6aec6d4ec Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 2 Feb 2026 09:56:33 +0000 Subject: [PATCH 2/5] Set Version: 0.1.21 --- package/version | 2 +- pyproject.toml | 2 +- uv.lock | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/package/version b/package/version index baa9837..7906299 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.20 +0.1.21 diff --git a/pyproject.toml b/pyproject.toml index 4b80e05..937e65e 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "hatchling.build" [project] name = "skribe" -version = "0.1.20" +version = "0.1.21" description = "Property testing for Stylus smart contracts" readme = "README.md" requires-python = "~=3.10" diff --git a/uv.lock b/uv.lock index 2205573..87e94ae 100644 --- a/uv.lock +++ b/uv.lock @@ -1715,7 +1715,7 @@ wheels = [ [[package]] name = "skribe" -version = "0.1.20" +version = "0.1.21" source = { editable = "." } dependencies = [ { name = "kontrol" }, From fb267bc9bccd923dce28a13e8803c6b8f3c43b74 Mon Sep 17 00:00:00 2001 From: Burak Bilge Yalcinkaya Date: Mon, 2 Feb 2026 16:05:02 +0300 Subject: [PATCH 3/5] fix progress bar fuzz time measurement --- src/skribe/skribe.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/skribe/skribe.py b/src/skribe/skribe.py index 347f8ac..5e6de76 100644 --- a/src/skribe/skribe.py +++ b/src/skribe/skribe.py @@ -195,6 +195,7 @@ def calldata_to_kore(data: bytes) -> Pattern: template_config_kore = kast_to_kore(self.definition.kdefinition, template_config, GENERATED_TOP_CELL) template_subst = {CALLDATA_EVAR: argument_strategy(binding).map(calldata_to_kore)} + task.start() fuzz( self.definition.path, template_config_kore, @@ -204,6 +205,7 @@ def calldata_to_kore(data: bytes) -> Pattern: handler=KometFuzzHandler(self.definition, task), subst_func=subst_on_k_cell, ) + task.end() def select_tests(self, contract: ArbitrumContract, id: str | None) -> list[Method]: test_methods = [] @@ -267,9 +269,7 @@ def deploy_and_run_contract( with FuzzProgress(tests, max_examples) as progress: for task in progress.fuzz_tasks: try: - task.start() self.run_test(template_conf, init_subst, task.binding, max_examples, task) - task.end() except FuzzError as e: task.fail() errors.append(e) From 434ea895dee62da67332bfe6248681367935b2bd Mon Sep 17 00:00:00 2001 From: Burak Bilge Yalcinkaya Date: Mon, 2 Feb 2026 16:10:48 +0300 Subject: [PATCH 4/5] add Stylus.toml --- src/tests/integration/data/contracts/call-hello/Stylus.toml | 5 +++++ .../data/contracts/call_hello_foundry/Stylus.toml | 5 +++++ .../integration/data/contracts/test-hello-world/Stylus.toml | 5 +++++ 3 files changed, 15 insertions(+) create mode 100644 src/tests/integration/data/contracts/call-hello/Stylus.toml create mode 100644 src/tests/integration/data/contracts/call_hello_foundry/Stylus.toml create mode 100644 src/tests/integration/data/contracts/test-hello-world/Stylus.toml diff --git a/src/tests/integration/data/contracts/call-hello/Stylus.toml b/src/tests/integration/data/contracts/call-hello/Stylus.toml new file mode 100644 index 0000000..c37540d --- /dev/null +++ b/src/tests/integration/data/contracts/call-hello/Stylus.toml @@ -0,0 +1,5 @@ +[workspace] + +[workspace.networks] + +[contract] diff --git a/src/tests/integration/data/contracts/call_hello_foundry/Stylus.toml b/src/tests/integration/data/contracts/call_hello_foundry/Stylus.toml new file mode 100644 index 0000000..c37540d --- /dev/null +++ b/src/tests/integration/data/contracts/call_hello_foundry/Stylus.toml @@ -0,0 +1,5 @@ +[workspace] + +[workspace.networks] + +[contract] diff --git a/src/tests/integration/data/contracts/test-hello-world/Stylus.toml b/src/tests/integration/data/contracts/test-hello-world/Stylus.toml new file mode 100644 index 0000000..c37540d --- /dev/null +++ b/src/tests/integration/data/contracts/test-hello-world/Stylus.toml @@ -0,0 +1,5 @@ +[workspace] + +[workspace.networks] + +[contract] From a1b0165a634292d69d7b0da7ab1983b8f3b476d0 Mon Sep 17 00:00:00 2001 From: Burak Bilge Yalcinkaya Date: Mon, 2 Feb 2026 16:40:12 +0300 Subject: [PATCH 5/5] use `cargo stylus build` for building stylus test contracts --- src/skribe/skribe.py | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/src/skribe/skribe.py b/src/skribe/skribe.py index 5e6de76..3a0adf8 100644 --- a/src/skribe/skribe.py +++ b/src/skribe/skribe.py @@ -80,14 +80,7 @@ def _cargo_bin(self) -> Path: def build_stylus_contract(self, contract_dir: Path) -> None: run_process( - [ - str(self._cargo_bin), - 'build', - '--lib', - '--release', - '--target', - 'wasm32-unknown-unknown', - ], + [str(self._cargo_bin), 'stylus', 'build'], cwd=contract_dir, check=True, )