Ideally, I'd like to have a couple of tests that use Hypothesis to generate arbitrary predicates and then assert some invariants about them (things like the consistency of filter() vs apply(), invariants to do with UNIVERSAL and EMPTY, the correctness of the And, Or and Not predicates, and so on). Writing the strategies for this might be a bit complicated though.
Ideally, I'd like to have a couple of tests that use Hypothesis to generate arbitrary predicates and then assert some invariants about them (things like the consistency of
filter()vsapply(), invariants to do withUNIVERSALandEMPTY, the correctness of theAnd,OrandNotpredicates, and so on). Writing the strategies for this might be a bit complicated though.