CheckModelEngine

com.github.agourlay.cornichon.steps.check.checkModel.CheckModelEngine
class CheckModelEngine[A, B, C, D, E, F](cs: CheckModelStep[A, B, C, D, E, F], model: Model[A, B, C, D, E, F], maxNumberOfTransitions: Int, rc: RandomContext, genA: Generator[A], genB: Generator[B], genC: Generator[C], genD: Generator[D], genE: Generator[E], genF: Generator[F])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods