Revert changes in Probabilistic folder.

p-org · Oct 18, 2024 · 91cd717 · 91cd717
1 parent 5e306b4
commit 91cd717
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 6 deletions.
diff --git a/...rategies/Probabilistic/RandomScheduler.cs → ...ng/Strategies/Feedback/RandomScheduler.cs b/...rategies/Probabilistic/RandomScheduler.cs → ...ng/Strategies/Feedback/RandomScheduler.cs
diff --git a/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Probabilistic/PCTStrategy.cs b/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Probabilistic/PCTStrategy.cs
@@ -1,4 +1,3 @@
-// Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
 using System;

diff --git a/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Probabilistic/RandomStrategy.cs b/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Probabilistic/RandomStrategy.cs
@@ -48,11 +48,7 @@ public virtual bool GetNextOperation(AsyncOperation current, IEnumerable<AsyncOp
                 return false;
             }
 
-            var idx = 0;
-            if (enabledOperations.Count > 1) {
-                idx = RandomValueGenerator.Next(enabledOperations.Count);
-            }
-
+            var idx = RandomValueGenerator.Next(enabledOperations.Count);
             next = enabledOperations[idx];
 
             ScheduledSteps++;