Fix warnings.

p-org · Nov 20, 2024 · 42c4bc8 · 42c4bc8
1 parent f23f79c
commit 42c4bc8
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 6 deletions.
diff --git a/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Feedback/FeedbackGuidedStrategy.cs b/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Feedback/FeedbackGuidedStrategy.cs
@@ -30,7 +30,7 @@ public record GeneratorRecord(int Priority, StrategyGenerator Generator, List<in
     private int _pendingMutations = 0;
     private bool _shouldExploreNew = false;
     private HashSet<GeneratorRecord> _visitedGenerators = new HashSet<GeneratorRecord>();
-    private GeneratorRecord? _currentParent = null;
+    private GeneratorRecord _currentParent = null;
 
     private System.Random _rnd = new System.Random();
 

diff --git a/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Feedback/PCTScheduler.cs b/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Feedback/PCTScheduler.cs
@@ -27,11 +27,6 @@ internal class PCTScheduler : IScheduler
         /// </summary>
         private readonly IRandomValueGenerator _randomValueGenerator;
 
-        /// <summary>
-        /// The maximum number of steps to schedule.
-        /// </summary>
-        private readonly int MaxScheduledSteps;
-
         /// <summary>
         /// The number of scheduled steps.
         /// </summary>