Open Janiczek opened 1 year ago
As a reference: fuzzers for bounded-nat But note that lo > hi is unconstructible for bounded-nat but not for Fuzz..int.. functions, so we should cover that case in documentation and implementation
bounded-nat
lo > hi
Fuzz..int..