case classWorkers(value: PosInt) extends PropertyCheckConfigParam with Product with Serializable
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.
A
PropertyCheckConfigParamthat 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.