unit_threaded.property

Property-based testing.

Members

check void check(uint seed, string file, size_t line): Check that bool-returning F is true with randomly generated values.
checkCustom void checkCustom(int numFuncCalls, string file, size_t line): For values that unit-threaded doesn't know how to generate, test that the Predicate holds, using Generator to come up with new values.
shrink T shrink(T value): Undocumented in source. Be warned that the author may not have intended to support it.