File tree Expand file tree Collapse file tree 1 file changed +2
-17
lines changed Expand file tree Collapse file tree 1 file changed +2
-17
lines changed Original file line number Diff line number Diff line change @@ -16,23 +16,8 @@ state management.
16
16
17
17
### Components
18
18
19
- The fuzzer is located in ` tools/fuzzing/ ` with the following structure:
20
-
21
- ```
22
- tools/fuzzing/
23
- ├── src/
24
- │ ├── main.rs # Entry point and OCaml communication
25
- │ ├── coverage/ # Coverage analysis tools
26
- │ └── transaction_fuzzer/
27
- │ ├── context.rs # Fuzzer state and ledger management
28
- │ ├── generator.rs # Transaction generation logic
29
- │ ├── mutator.rs # Mutation strategies
30
- │ ├── invariants.rs # Permission invariant checking
31
- │ └── coverage/ # Transaction-specific coverage tools
32
- ├── Cargo.toml # Dependencies and configuration
33
- ├── rust-toolchain.toml # Nightly toolchain specification
34
- └── Dockerfile # Containerized fuzzing environment
35
- ```
19
+ The fuzzer is located in ` tools/fuzzing/ ` and implements differential fuzzing
20
+ between the OCaml and Rust implementations of some components.
36
21
37
22
## What Gets Fuzzed
38
23
You can’t perform that action at this time.
0 commit comments