This post is part of the Input Coverage > Code Coverage series.
Two strategies:
Arbitrary
models. Great for domain logic. Faster feedback.&[u8]
. Great for broad input coverage. Fewer blinders.Heuristics:
Arbitrary
model to
prune junk, but keep a raw-bytes harness too.Watch discard rates. If most generated values are rejected, simplify.
Next: Mocking I/O To Go Faster