org.specs2.scalacheck
Type members
Classlikes
Implicits to convert Prop to AsResult and AsResult to Prop
Implicits to convert Prop to AsResult and AsResult to Prop
- Companion:
- object
This trait can be mixed in a Specification to avoid counting the number of times that a property was executed as the number of expectations. With this trait we just count 1 for each result
This trait can be mixed in a Specification to avoid counting the number of times that a property was executed as the number of expectations. With this trait we just count 1 for each result
This class encapsulates ScalaCheck parameters + any additional parameters
This class encapsulates ScalaCheck parameters + any additional parameters
Note that minTestsOk in specs2 corresponds to the minSuccessfulTests parameter in ScalaCheck.
- Companion:
- object
This object can be used to create Pretty instances for case class Where string attributes are being quoted for easier copy/pasting from the console when it is needed to replay a failing example. Usage:
This object can be used to create Pretty instances for case class Where string attributes are being quoted for easier copy/pasting from the console when it is needed to replay a failing example. Usage:
case class MyInt(i: Int, s: String = "hey")
object MyInt { given Arbitrary[MyInt] = Arbitrary(Gen.const(MyInt(1))) given MyInt => Pretty = PrettyProduct[MyInt] }
A ScalaCheckFunction adds the possibility to select various typeclass instances for a given property:
A ScalaCheckFunction adds the possibility to select various typeclass instances for a given property:
- Arbitrary to generate values
- Shrink to shrink counter-examples
- Show to display arguments in case of a counter-example
- Collector to collect values and provide a summary as string (to show frequencies for example)
A ScalaCheckProperty encapsulates a ScalaCheck Prop and its parameters
A ScalaCheckProperty encapsulates a ScalaCheck Prop and its parameters
- Companion:
- object