diff --git a/current_vs_alternative_approach.md b/current_vs_alternative_approach.md index e20982c..f492366 100644 --- a/current_vs_alternative_approach.md +++ b/current_vs_alternative_approach.md @@ -143,19 +143,6 @@ fuzzing replacement. ## ๐Ÿงญ Decision-maker Recommendations -**Already done** (was previously recommended here): - -- โœ… **AFL++ parallel lane** โ€” `just fuzz-afl` + `fuzz-afl.yml`. -- โœ… **`cargo-mutants`** โ€” `just mutants-harness` / `mutants-protocol` + `mutants.yml`, - with the Plane A / Plane B framework documented in - [`docs/mutants-not-fuzzable.md`](docs/mutants-not-fuzzable.md). -- โœ… **Differential testing** โ€” `fuzz_sequencer_vs_replayer`. -- โœ… **Complete `fuzz.yml` CI matrix** โ€” all **20** libFuzzer targets now run in - every `fuzz.yml` matrix (smoke-fuzz ยท regression ยท perf-baseline) and the - `fuzz-afl.yml` AFL++ lane, including `fuzz_merkle_tree`, - `fuzz_transaction_properties`, `fuzz_privacy_preserving_witness`, - `fuzz_encoding_privacy_preserving`, and `fuzz_nullifier_set_roundtrip`. - **Remaining higher-ROI next steps, in priority order:** 1. **Honggfuzz on Linux CI only** โ€” hardware-counter coverage finds different paths;