Crate reduce

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 🔒

Type Aliases

• AccountId 🔒
• Balance 🔒