Set max unfair scheduling steps for all feedback guided algorithms.

Author: aoli-al

Src/PChecker/CheckerCore/SystematicTesting/Strategies/Feedback/FeedbackGuidedStrategy.cs

@@ -41,14 +41,7 @@ public record GeneratorRecord(int Priority, StrategyGenerator Generator, List<in
     /// </summary>
     public FeedbackGuidedStrategy(CheckerConfiguration checkerConfiguration, ControlledRandom inputGenerator, IScheduler scheduler)
     {
-        if (scheduler is PCTScheduler)
-        {
-            _maxScheduledSteps = checkerConfiguration.MaxUnfairSchedulingSteps;
-        }
-        else
-        {
-            _maxScheduledSteps = checkerConfiguration.MaxFairSchedulingSteps;
-        }
+        _maxScheduledSteps = checkerConfiguration.MaxUnfairSchedulingSteps;
         Generator = new StrategyGenerator(inputGenerator, scheduler);
     }