fix: update mutants workflow

This commit is contained in:
Roman 2026-06-12 11:13:14 +08:00
parent 2659d390eb
commit 0710dbfc2b
No known key found for this signature in database
GPG Key ID: 583BDF43C238B83E
2 changed files with 6 additions and 3 deletions

View File

@ -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

Binary file not shown.