Add FuzzSpec deserialization to skribe-fuzz-rs

package/version

@@ -1 +1 @@
-0.1.31
+0.1.32

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "skribe"
-version = "0.1.31"
+version = "0.1.32"
 description = "Property testing for Stylus smart contracts"
 readme = "README.md"
 requires-python = "~=3.10"

skribe-fuzz-rs/Cargo.toml

@@ -4,5 +4,7 @@ version = "0.1.0"
 edition = "2024"
 
 [dependencies]
+serde = "1.0.228"
+serde_json = "1.0.149"
 kframework = { git = "https://github.com/runtimeverification/kframework-rs.git", rev = "1e7ee3a" }
 kframework_ffi = { git = "https://github.com/runtimeverification/kframework-rs.git", rev = "1e7ee3a" }

skribe-fuzz-rs/src/fuzz_spec.rs

@@ -0,0 +1,52 @@
+use serde::Deserialize;
+
+#[derive(Debug, Deserialize)]
+pub struct Signature {
+    pub contract_name: String,
+    pub name: String,
+    pub arg_types: Vec<String>,
+}
+
+#[derive(Debug, Deserialize)]
+pub struct FuzzSpec {
+    pub template: String,
+    pub signatures: Vec<Signature>,
+}
+
+pub fn fuzz_specs_from_json(json: &str) -> Result<Vec<FuzzSpec>, serde_json::Error> {
+    serde_json::from_str(json)
+}
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+
+    #[test]
+    fn test_fuzz_specs_from_json() {
+        let json = r#"[
+            {
+                "template": "X:SortGeneratedTopCell{}",
+                "signatures": [
+                    {
+                        "contract_name": "TestSkribeEndToEnd",
+                        "name": "test_end_to_end_intense",
+                        "arg_types": ["bytes8", "bytes8", "bool", "(uint256,bool)[]"]
+                    }
+                ]
+            }
+        ]"#;
+
+        let specs = fuzz_specs_from_json(json).unwrap();
+        assert_eq!(specs.len(), 1);
+        assert_eq!(specs[0].template, "X:SortGeneratedTopCell{}");
+        assert_eq!(specs[0].signatures.len(), 1);
+
+        let sig = &specs[0].signatures[0];
+        assert_eq!(sig.contract_name, "TestSkribeEndToEnd");
+        assert_eq!(sig.name, "test_end_to_end_intense");
+        assert_eq!(
+            sig.arg_types,
+            ["bytes8", "bytes8", "bool", "(uint256,bool)[]"]
+        );
+    }
+}

skribe-fuzz-rs/src/lib.rs

@@ -4,6 +4,9 @@ pub use kframework_ffi::kllvm;
 use kframework::kore::{Id, Pattern, Sort};
 use kframework_ffi::kllvm::{Marshaller, VarHandler};
 
+mod fuzz_spec;
+pub use fuzz_spec::{FuzzSpec, Signature, fuzz_specs_from_json};
+
 struct DummyHandler;
 
 impl VarHandler for DummyHandler {