final case classExhausted(succeeded: Int, discarded: Int, seed: Seed) extends CheckResult with Product with Serializable
final case classFalsified(succeeded: Int, discarded: Int, args: List[Arg], seed: Seed) extends CheckResult with Product with Serializable
final case classGenException(succeeded: Int, discarded: Int, exception: Throwable, seed: Seed) extends CheckResult with Product with Serializable
final case classIgnored(succeeded: Int, discarded: Int, reason: String, seed: Seed) extends CheckResult with Product with Serializable
final case classPassed(succeeded: Int, discarded: Int, seed: Seed) extends CheckResult with Product with Serializable
final case classPropException(succeeded: Int, discarded: Int, args: List[Arg], exception: Throwable, seed: Seed) extends CheckResult with Product with Serializable
final case classProven(succeeded: Int, discarded: Int, seed: Seed) extends CheckResult with Product with Serializable
final case classTimeout(succeeded: Int, discarded: Int, seed: Seed) extends CheckResult with Product with Serializable