Fix POS.

cmu-pasta · Apr 1, 2024 · 9b3c8a6 · 9b3c8a6
1 parent 1ed747a
commit 9b3c8a6
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/core/src/main/kotlin/cmu/pasta/sfuzz/core/scheduler/POSScheduler.kt b/core/src/main/kotlin/cmu/pasta/sfuzz/core/scheduler/POSScheduler.kt
@@ -31,7 +31,9 @@ class POSScheduler(val rand: Random) : Scheduler {
     threadPriority.keys.removeIf {
       val pendingOp = it.pendingOperation
       val res =
-          if (it != next && pendingOp is RacingOperation && it in threads) {
+          if (it == next) {
+            true
+          } else if (pendingOp is RacingOperation && it in threads) {
             pendingOp.isRacing(next.pendingOperation)
           } else {
             false