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