A version of check
that accepts four random variables.
A version of check
that accepts three random variables.
A version of check
that accepts two random variables.
Checks the test passes for "sufficient" numbers of samples from the given random variable.
A version of checkAll
that accepts four random variables.
A version of checkAll
that accepts three random variables.
A version of checkAll
that accepts two random variables.
Checks the test passes for all values from the given random variable.
Checks the test passes for all values from the given random variable. This
is useful for deterministic Gen
that comprehensively explore all
possibilities in a given domain.
A version of checkAllM
that accepts four random variables.
A version of checkAllM
that accepts three random variables.
A version of checkAllM
that accepts two random variables.
Checks the effectual test passes for all values from the given random variable.
Checks the effectual test passes for all values from the given random
variable. This is useful for deterministic Gen
that comprehensively
explore all possibilities in a given domain.
A version of checkM
that accepts four random variables.
A version of checkM
that accepts three random variables.
A version of checkM
that accepts two random variables.
Checks the effectual test passes for "sufficient" numbers of samples from the given random variable.
A version of checkSome
that accepts four random variables.
A version of checkSome
that accepts three random variables.
A version of checkSome
that accepts two random variables.
Checks the test passes for the specified number of samples from the given random variable.
A version of checkSomeM
that accepts four random variables.
A version of checkSomeM
that accepts three random variables.
A version of checkSomeM
that accepts two random variables.
Checks the effectual test passes for the specified number of samples from the given random variable.