/// <summary>
/// Initializes a new instance of the <see cref="ReplayStrategy"/> class.
/// </summary>
internal ReplayStrategy(Configuration configuration)
{
this.Configuration = configuration;
this.ScheduleTrace = ScheduleTrace.Deserialize(configuration, out bool isFair);
this.StepCount = 0;
this.IsSchedulerFair = isFair;
this.ErrorText = string.Empty;
}
/// <summary>
/// Initializes a new instance of the <see cref="ReplayStrategy"/> class.
/// </summary>
internal ReplayStrategy(Configuration configuration, SystematicStrategy suffixStrategy)
{
this.Configuration = configuration;
this.ScheduleTrace = ScheduleTrace.Deserialize(configuration, out bool isFair);
this.StepCount = 0;
this.IsSchedulerFair = isFair;
this.IsReplaying = true;
this.SuffixStrategy = suffixStrategy;
this.ErrorText = string.Empty;
}
