Update fuzzer documentation and changelog

CHANGELOG.md

@@ -13,6 +13,11 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 - `snforge clean` command - used to manage and remove files generated by snforge. It supports cleaning the following components: coverage, profile, cache, trace, all
 - `snforge new` now adds the `snfoundry_trace`, `coverage`, and `profile` directories to `.gitignore`.
+- Custom types can be used in fuzz testing by implementing the `Fuzzable` trait
+
+#### Changed
+
+- It is now required to include the `#[fuzzer]` attribute for fuzz tests to work
 
 #### Deprecated
 

docs/src/SUMMARY.md

@@ -102,6 +102,7 @@
     * [store](appendix/cheatcodes/store.md)
     * [load](appendix/cheatcodes/load.md)
     * [generate_random_felt](appendix/cheatcodes/generate_random_felt.md)
+    * [generate_arg](appendix/cheatcodes/generate_arg.md)
 * [`snforge` Library Reference](appendix/snforge-library.md)
     * [byte_array](appendix/snforge-library/byte_array.md)
     * [declare](appendix/snforge-library/declare.md)
@@ -110,6 +111,7 @@
     * [fs](appendix/snforge-library/fs.md)
     * [env](appendix/snforge-library/env.md)
     * [signature](appendix/snforge-library/signature.md)
+    * [fuzzable](appendix/snforge-library/fuzzable.md)
 * [`sncast` Commands](appendix/sncast.md)
     * [common flags](appendix/sncast/common.md)
     * [account](appendix/sncast/account/account.md)

docs/src/appendix/cheatcodes/generate_arg.md

@@ -0,0 +1,6 @@
+# `generate_arg`
+
+> `fn generate_arg<T, +Serde<T>, +Drop<T>, +Into<T, felt252>>(min_value: T, max_value: T) -> T`
+
+Returns a random number from a range `[min_value, max_value]`.
+It is used mostly in the context of fuzz testing to implement [Fuzzable](../snforge-library/fuzzable.md) trait.

docs/src/appendix/snforge-library/fuzzable.md

@@ -0,0 +1,50 @@
+# `fuzzable` Module
+
+Module containing `Fuzzable` trait needed for fuzz testing and its implementations for basic types.
+
+## `Fuzzable`
+
+```rust
+pub trait Fuzzable<T, +Debug<T>> {
+    fn blank() -> T;
+    fn generate() -> T;
+}
+```
+
+This trait is used by `snforge` to generate random data for fuzz testing.
+Any type that is used as a parameter in a test function with the [`#[fuzzer]`](../../testing/test-attributes.md#fuzzer) attribute must implement this trait.
+
+- `blank()` function returns an empty or default value that is used only for configuration runs. For instance, it returns `0` for numeric types.
+- `generate()` function is used to return a random value of the given type. To implement this function, it is necessary to either use the [generate_arg](../cheatcodes/generate_arg.md) cheatcode,
+which can uniformly generate a random number within a specified range, or use a `Fuzzable` implementation for a different type.
+
+## Example
+
+Implementation for a custom type `Message`:
+
+```rust
+use core::num::traits::Bounded;
+use snforge_std::fuzzable::{Fuzzable, generate_arg};
+
+#[derive(Debug, Drop)]
+struct Message {
+    id: u64,
+    text: ByteArray
+}
+
+impl FuzzableMessage of Fuzzable<Message> {
+    fn blank() -> Message {
+        Message {
+            id: 0,
+            text: ""
+        }
+    }
+
+    fn generate() -> Message {
+        Message {
+            id: generate_arg(0, Bounded::<u64>::MAX),
+            text: Fuzzable::<ByteArray>::generate()
+        }
+    }
+}
+```

docs/src/snforge-advanced-features/fuzz-testing.md

@@ -12,7 +12,8 @@ against a large number of possible arguments.
 
 ## Random Fuzzing
 
-To convert a test to a random fuzz test, simply add arguments to the test function.
+To convert a standard test into a random fuzz test, you need to add parameters to the test function
+and include the [`#[fuzzer]`](../testing/test-attributes.md#fuzzer) attribute.
 These arguments can then be used in the test body.
 The test will be run many times against different randomly generated values.
 
@@ -42,17 +43,15 @@ Fuzzer seed: [..]
 
 ## Types Supported by the Fuzzer
 
-Fuzzer currently supports generating values of these types
+Fuzzer currently supports generating values for these types out of the box:
 
-- `u8`
-- `u16`
-- `u32`
-- `u64`
-- `u128`
-- `u256`
 - `felt252`
+- `u8`, `u16`, `u32`, `u64`, `u128`, `u256`
+- `i8`, `i16`, `i32`, `i64`, `i128`
+- `ByteArray`
 
-Trying to use arguments of different type in test definition will result in an error.
+To use other types, it is required to implement the [`Fuzzable`](../appendix/snforge-library/fuzzable.md) trait for them.
+Providing non-fuzzable types will result in a compilation error.
 
 ## Fuzzer Configuration
 

docs/src/testing/test-attributes.md

@@ -11,6 +11,11 @@ Currently, those attributes are supported:
 - `#[fork]`
 - `#[fuzzer]`
 
+> 📝 **Note**
+>
+> If you want to use other attributes on the test function, it is recommended to place them above the `snforge` attributes.
+> This ensures that they execute first on the raw code, rather than on the code generated by `snforge`.
+
 ### `#[test]`
 
 Marks the function as a test case, to be visible for test collector.