From 91cd7176ea2fc319cf649d9edaff4db3451c3dbe Mon Sep 17 00:00:00 2001
From: Ao Li <leeleo3x@gmail.com>
Date: Fri, 18 Oct 2024 15:23:37 +0800
Subject: [PATCH] Revert changes in Probabilistic folder.

---
 .../{Probabilistic => Feedback}/RandomScheduler.cs          | 0
 .../Strategies/Probabilistic/PCTStrategy.cs                 | 1 -
 .../Strategies/Probabilistic/RandomStrategy.cs              | 6 +-----
 3 files changed, 1 insertion(+), 6 deletions(-)
 rename Src/PChecker/CheckerCore/SystematicTesting/Strategies/{Probabilistic => Feedback}/RandomScheduler.cs (100%)

diff --git a/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Probabilistic/RandomScheduler.cs b/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Feedback/RandomScheduler.cs
similarity index 100%
rename from Src/PChecker/CheckerCore/SystematicTesting/Strategies/Probabilistic/RandomScheduler.cs
rename to Src/PChecker/CheckerCore/SystematicTesting/Strategies/Feedback/RandomScheduler.cs
diff --git a/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Probabilistic/PCTStrategy.cs b/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Probabilistic/PCTStrategy.cs
index 825a6d4be5..21cee4414c 100644
--- 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
index eefa755621..7bd654b618 100644
--- 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++;