Fox
Fox copied to clipboard
FOXFrequency should shrink by generator order.
It would be great for FOXFrequency to also shrink by the order of the generator:
FOXFrequency(@[@[@1, FOXInteger()],
@[@1, FOXString()]]);
This generator should shrink towards @0, even if the originally failure was a string (assuming all shrunk values cause failures).