Package pct defines the PCTCP testing strategy.

Package timeout encodes a strategy where timeout durations are chosen non deterministically.

Package unittest strategy runs the same unit test for each iteration.

ActionSequence actions executes actions in a sequence.

DeliverMany action delivered all the specified messages.

DeliverMessage action that delivered the given message using [apiserver.APIServer].

DoNothing is a no-op action.

NewStrategyDriver creates a strategy and initializes the APIServer.

Creates a new [StrategyWithProperty].

Action that the strategy can perform.

Context here references to the execution context of a strategy.

Driver runs the strategy with the specified configuration.

StrategyConfig store the config used for running strategies.

StrategyWithProperty encapsulates a strategy with a property The property is specified as a state machine.

Strategy interface to define an exploration strategy An exploration strategy should be encoded in this strategy.