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 Definitions

AccountId

Balance