Workers
A PropertyCheckConfigParam
that specifies the number of worker threads
to use when evaluating a property.
Property evaluation runs on a single thread by default, but may run multiple threads if desired. If so, the evaluation will generally run faster. However, be careful not to use this if there is any risk of deadlocks, race conditions, or other hazards of multi-threaded code in evaluating this property or the code under test.
class PropertyCheckConfigParam
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any