Creates a new PCTStrategy with the specified config.

NewPCTStrategyWithTestCase creates a new PCTStrategyWithTestCase.

DefaultMessageOrder implements [MessageOrder] and tracks the causal ordering of messages.

PCTStrategy type implements [strategies.Strategy] and encodes the logic of PCTCP exploration strategy - https://dl.acm.org/doi/10.1145/3276530.

PCTStrategyConfig contains the configuration for PCTCP strategy.

PCTStrategyWithTestCase encapsulates PCTStrategy with a testcase For each event, we invoke the filters of the testcase and when none of the filter conditions are satisfied, the event is passed to PCTStrategy.

MessageOrder interface defines the message order for PCTCP to partition messages into chains.