Crate per_thing_mult_fraction

Running

Running this fuzzer can be done with cargo hfuzz run per_thing_mult_fraction. honggfuzz CLI options can be used by setting HFUZZ_RUN_ARGS, such as -n 4 to use 4 threads.

Debugging a panic

Once a panic is found, it can be debugged with cargo hfuzz run-debug per_thing_mult_fraction hfuzz_workspace/per_thing_mult_fraction/*.fuzz.

Functions

check_mul 🔒

Checks that (n / d) * d <= n.

check_reciprocal_mul 🔒

Checks that n / (n / d) >= d.

main 🔒

Tries to disprove (n / d) * d <= n for any PerThings.