Ironically there aren't tests for QCheck, which makes it uncomfortable/non-trivial to test the features (mainly, generators and shrinkers).
This could be both unit tests (e.g. "Shrinking 100 towards 0 gives 0, 50, 75, etc.") and PBTs (e.g. "int_range a b only gives values between a and b").
This would also help reproducing bugs in QCheck issues
Ironically there aren't tests for QCheck, which makes it uncomfortable/non-trivial to test the features (mainly, generators and shrinkers).
This could be both unit tests (e.g. "Shrinking 100 towards 0 gives 0, 50, 75, etc.") and PBTs (e.g. "
int_range a bonly gives values betweenaandb").This would also help reproducing bugs in QCheck issues