-
Notifications
You must be signed in to change notification settings - Fork 155
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Using Collect
and Classify
in conjunction with And
or Or
#629
Comments
Hm yes good point. Probably a bug here: https://github.com/fscheck/FsCheck/blob/master/src/FsCheck/Testable.fs#L22 Some (all?) of those match arms should merge labels. (labels is where things like |
Ran into this one again today. I.e. for Do the labels only really matter in case the total combined property is |
Yes, that sounds right. |
Hello,
When I try to
collect
and /orclassify
two or more properties only the left hand side of theand
oror
operator seems to propagate its statistics.I am not sure if this is a bug or intended behavior?
Using FsCheck
2.16.5
.Output:
If I add a failing prop3
1 = 3
, the correct label is shown:Output:
But this happens probably because it 'fails fast'.
The text was updated successfully, but these errors were encountered: