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