Merge branch 'transaction_fuzz'

Author: KtorZ

CHANGELOG.md

@@ -1,5 +1,24 @@
 # Changelog
 
+## v2.2.0 - UNRELEASED
+
+### Added
+
+- New Cardano-specific fuzzers covering
+  - [Address](https://aiken-lang.github.io/fuzz/cardano/fuzz.html#Address)
+  - [Assets](https://aiken-lang.github.io/fuzz/cardano/fuzz.html#Assets)
+  - [Certificate](https://aiken-lang.github.io/fuzz/cardano/fuzz.html#Certificate)
+  - [Transaction](https://aiken-lang.github.io/fuzz/cardano/fuzz.html#Transaction)
+
+- New [`data() -> Fuzzer<Data>`](https://aiken-lang.github.io/fuzz/aiken/fuzz.html#data)
+
+## v2.1.1 - 2025-01-21
+
+### Added
+
+- More primitives for fuzzers:
+    - `tuple`, `tuple3`, `tuple4`, `tuple5`, `tuple6`, `tuple7`, `tuple8`, `tuple9`
+
 ## v2.1.0 - 2024-09-24
 
 ### Added

aiken.toml

@@ -1,6 +1,6 @@
 name = "aiken-lang/fuzz"
 version = "main"
-compiler = "v1.1.13"
+compiler = "v1.1.16"
 plutus = "v3"
 license = "Apache-2.0"
 description = "A library for writing Aiken's fuzzers."

lib/aiken/fuzz.ak

@@ -74,6 +74,45 @@ fn bytearray_fixed_inner(len: Int) -> Fuzzer<ByteArray> {
   }
 }
 
+/// Generate an arbitrary `Data`.
+pub fn data() -> Fuzzer<Data> {
+  do_data(depth: 3)
+}
+
+fn do_data(depth: Int) -> Fuzzer<Data> {
+  let data_type <- and_then(byte())
+  if data_type < 128 || depth <= 0 {
+    if data_type < 64 {
+      map(int(), builtin.i_data)
+    } else {
+      map(bytearray(), builtin.b_data)
+    }
+  } else {
+    if data_type < 170 {
+      map(list_between(do_data(depth - 1), 0, depth), builtin.list_data)
+    } else if data_type < 212 {
+      map(
+        list_between(
+          {
+            let k <- and_then(do_data(depth - 1))
+            let v <- map(do_data(depth - 1))
+            Pair(k, v)
+          },
+          0,
+          depth - 1,
+        ),
+        builtin.map_data,
+      )
+    } else {
+      map2(
+        byte(),
+        list_between(do_data(depth - 1), 0, depth),
+        builtin.constr_data,
+      )
+    }
+  }
+}
+
 const int_bucket_small: Int = 128
 
 const int_bucket_zero: Int = 132