Class Summary | |
trait
|
Checkers
extends AnyRef
Trait that contains several “check” methods that perform ScalaCheck property checks.
If ScalaCheck finds a test case for which a property doesn't hold, the problem will be reported as a ScalaTest test failure.
|
class
|
PropertyTestFailedException
(message : java.lang.String, cause : scala.Option[java.lang.Throwable], failedCodeStackDepth : Int, val undecoratedMessage : java.lang.String, val args : scala.List[Any], val labels : scala.List[java.lang.String]) extends TestFailedException
Exception that indicates a test failed. The purpose of this exception is to encapsulate information about
the stack depth at which the line of test code that failed resides, so that information can be presented to
the user that makes it quick to find the failing line of test code. (I.e., the user need not scan through the
stack trace to find the correct filename and line number of the failing test.)
|