referrerpolicy=no-referrer-when-downgrade

Crate per_thing_mult_fraction

source ·
Expand description

§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.
  • Checks that n / (n / d) >= d.
  • main 🔒
    Tries to disprove (n / d) * d <= n for any PerThings.