test/nyaya.test/ParallelExecutor

ParallelExecutor

case class ParallelExecutor(workers: Int) extends Executor
Companion
object
trait Serializable
trait Product
trait Equals
trait Executor
class Object
trait Matchable
class Any

Value members

Concrete methods

override def prove[A](p: Prop[A], d: Domain[A], S: Settings): RunState[A]
Definition Classes
override def run[A](p: Prop[A], g: () => A, S: Settings): RunState[A]
Definition Classes

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product

Concrete fields

val debugPrefixes: Vector[String]