diff --git a/.github/workflows/mutants.yml b/.github/workflows/mutants.yml index 1c8e70c..44bdd25 100644 --- a/.github/workflows/mutants.yml +++ b/.github/workflows/mutants.yml @@ -107,7 +107,7 @@ jobs: fi # ── Plane B: mutate LEZ protocol code, oracle = corpus regression ───────── - # Each mutant: rebuild nssa/common + replay all 15 fuzz corpora (-runs=0). + # Each mutant: rebuild nssa/common + replay all 20 fuzz corpora (-runs=0). # Surviving mutants = protocol bugs the committed corpus has never caught. # Runs on schedule (weekly Monday) or manual workflow_dispatch only. mutants-protocol: @@ -149,8 +149,9 @@ jobs: - name: Make corpus-regression wrapper executable run: chmod +x scripts/mutants-corpus-test.sh - # Build all 15 fuzz targets once before the mutation loop so that each + # Build all 20 fuzz targets once before the mutation loop so that each # mutant only needs to rebuild the mutated crate, not the fuzz harness. + # Keep this list in sync with scripts/mutants-corpus-test.sh. - name: Pre-build fuzz targets run: | for target in \ @@ -161,7 +162,9 @@ jobs: fuzz_validate_execute_consistency fuzz_state_serialization \ fuzz_witness_set_verification fuzz_program_deployment_lifecycle \ fuzz_apply_state_diff_split_path fuzz_multi_block_state_sequence \ - fuzz_sequencer_vs_replayer; do + fuzz_sequencer_vs_replayer fuzz_merkle_tree \ + fuzz_transaction_properties fuzz_privacy_preserving_witness \ + fuzz_encoding_privacy_preserving fuzz_nullifier_set_roundtrip; do cargo fuzz build "${target}" done diff --git a/corpus/libfuzz/fuzz_genesis_invariants/seed b/corpus/libfuzz/fuzz_genesis_invariants/seed deleted file mode 100644 index f76dd23..0000000 Binary files a/corpus/libfuzz/fuzz_genesis_invariants/seed and /dev/null differ