Update dependency: deps/kwasm_release

deps/k_release

@@ -1 +1 @@
-7.1.276
+7.1.302

deps/kwasm_release

@@ -1 +1 @@
-0.1.132
+0.1.142

flake.nix

@@ -5,7 +5,7 @@
     nixpkgs.follows = "rv-nix-tools/nixpkgs";
 
     flake-utils.url = "github:numtide/flake-utils";
-    k-framework.url = "github:runtimeverification/k/v7.1.276";
+    k-framework.url = "github:runtimeverification/k/v7.1.302";
     k-framework.inputs.nixpkgs.follows = "nixpkgs";
     uv2nix.url = "github:pyproject-nix/uv2nix/be511633027f67beee87ab499f7b16d0a2f7eceb";
     # uv2nix requires a newer version of nixpkgs

nix/skribe-pyk/build-systems-overlay.nix

@@ -10,12 +10,13 @@ let
   # `setuptools-scm[toml]` in pyproject.toml would be written as
   # `foo.setuptools-scm = [ "toml" ]` in Nix
   buildSystemOverrides = {
-    # add dependencies here, e.g.:
-    pykwasm.setuptools = [ ];
-    pykwasm.poetry-core = [ ];
-    py-wasm.setuptools = [ ];
-    kevm-pyk.poetry-core = [ ];
     kontrol.hatchling = [];
+    kevm-pyk.hatchling = [ ];
+
+    pykwasm.hatchling = [];
+    py-wasm.setuptools = [];
+
+    typing.setuptools = [];
   };
 in
 mapAttrs (

package/version

@@ -1 +1 @@
-0.1.16
+0.1.17

pyproject.toml

@@ -4,13 +4,13 @@ build-backend = "hatchling.build"
 
 [project]
 name = "skribe"
-version = "0.1.16"
+version = "0.1.17"
 description = "Property testing for Stylus smart contracts"
 readme = "README.md"
 requires-python = "~=3.10"
 dependencies = [
-    "pykwasm@git+https://github.com/runtimeverification/wasm-semantics.git@v0.1.132#subdirectory=pykwasm",
-    "kontrol@git+https://github.com/runtimeverification/kontrol.git@v1.0.175",
+    "pykwasm@git+https://github.com/runtimeverification/wasm-semantics.git@v0.1.142#subdirectory=pykwasm",
+    "kontrol@git+https://github.com/runtimeverification/kontrol.git@v1.0.218",
 ]
 
 [[project.authors]]

src/skribe/skribe.py

@@ -266,6 +266,10 @@ class FuzzError(SkribeError):
     counterexample: tuple[Any, ...]
 
     def __init__(self, test_name: str, counterexample: tuple[KInner, ...]):
+        # B042 Exception class with `__init__` should pass all args to `super().__init__()`
+        # in order to work with `copy.copy()`.
+        super().__init__(test_name, counterexample)
+
         self.test_name = test_name
         self.counterexample = counterexample