Configuration.WithReplayStrategy method
Updates the configuration to use the replay scheduling strategy during systematic testing. This strategy replays the specified schedule trace to reproduce the same execution.
public Configuration WithReplayStrategy(string scheduleTrace)
| parameter | description |
|---|---|
| scheduleTrace | The schedule trace to be replayed. |
See Also
- class Configuration
- namespace Microsoft.Coyote
- assembly Microsoft.Coyote