This trait defines the "verify" operator which can be used to specify properties to check as examples. Instead of writing:

 "startsWith verifies (a + b).startsWith(a)" in {
    property((a: String, b: String) => (a + b).startsWith(a)) must pass
 }
 it is possible to write directly:
   
 "startsWith" verifies ((a: String, b: String) => (a + b).startsWith(a))
 
 
 

This will create an example named "startsWith" and check the corresponding property. ScalaCheck parameters can be used with the "display" and set methods. For example:

 
 // will display the results and stop testing when 150 are passing.
 "startsWith" verifies ((a: String, b: String) => (a + b).startsWith(a)).display(minTestsOk->150)