test/nyaya.test/GenExt

GenExt

final class GenExt[A](g: () => A) extends AnyVal
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def _mustSatisfy[B >: A](p: Prop[B])(implicit S: Settings): Unit
def bugHunt(seedStart: Long, seeds: Int, samplesPerSeed: Int, startMsg: Boolean, printFailure: Boolean, filterFailure: Failure[A] => Boolean)(p: Prop[A])(implicit S: Settings): Unit

Find a seed that deterministically produces failure-inducing random data.

Find a seed that deterministically produces failure-inducing random data.

def mustSatisfy(p: Prop[A])(implicit S: Settings): Unit
def mustSatisfyE(f: A => EvalL)(implicit S: Settings): Unit