testPropositionHoldsFor
fun <W> testPropositionHoldsFor(setupState: () -> Signal<W>, numIterations: Int = 100, maxTraceLength: Int = 50, clockGenerator: Arb<Duration> = fpsClockGenerator(), proposition: LTLSyntax<W>.() -> LTL<W>)(source)
Randomly execute actions in the state graph, testing a linear temporal logic proposition proposition against the state returned by setupState.
Will run numIterations total, between which setupState and the timeline will be re-initialized.
For each trace, at most maxTraceLength actions in the state graph will be taken.