Expand description
Fuzzing for the reduce algorithm.
It that reduce always return a new set og edges in which the bound is kept (edges_after <= m + n,
) and the result must effectively be the same, meaning that the same support map should be
computable from both.
§Running
Run with cargo hfuzz run reduce
. honggfuzz
.
§Debugging a panic
Once a panic is found, it can be debugged with
cargo hfuzz run-debug reduce hfuzz_workspace/reduce/*.fuzz
.
Modules§
- common 🔒
- Common fuzzing utils.
Constants§
- KSM 🔒
- Or any other token type.
Functions§
- assert_
assignments_ 🔒equal - assignment_
len 🔒 - generate_
random_ 🔒phragmen_ assignment - main 🔒
- reduce_
and_ 🔒compare