/// <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; }