max_count

GlobalEventCounter

max_tick_count

OrderedDecoupledHWIOTester

max_ticker

Exerciser

max_ticks

StopCondition

max_ticks_for_state

Exerciser