[PEx] Minor update

p-org · May 6, 2024 · d3321c8 · d3321c8
1 parent 994be9f
commit d3321c8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...itRuntime/src/main/java/pexplicit/runtime/scheduler/explicit/ExplicitSearchScheduler.java b/...itRuntime/src/main/java/pexplicit/runtime/scheduler/explicit/ExplicitSearchScheduler.java
@@ -507,7 +507,7 @@ private void postIterationCleanup() {
                         assert ((scheduleChoice == choice) || (scheduleChoice.getStepNumber() == (choice.getStepNumber() - 1)));
                         newStepNumber = scheduleChoice.getStepNumber();
                     } else {
-                        assert (choice.getStepNumber() == 0);
+                        assert (choice.getStepNumber() <= 1);
                     }
                 }
                 if (newStepNumber == 0) {