revert unit test

boogie-org · Oct 13, 2024 · f303d01 · f303d01
1 parent e426c84
commit f303d01
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/UnitTests/ExecutionEngineTests/ExecutionEngineTest.cs b/Source/UnitTests/ExecutionEngineTests/ExecutionEngineTest.cs
@@ -100,7 +100,7 @@ procedure Procedure(y: int)
 
     // The implicit return at the end gets a separate VC.
     // first split is empty. Maybe it can be optimized away
-    Assert.AreEqual(5, tasks.Count);
+    Assert.AreEqual(4, tasks.Count);
 
     var outcomes = new List<SolverOutcome> { SolverOutcome.Invalid, SolverOutcome.Valid, SolverOutcome.Invalid, SolverOutcome.Valid };
     for (var index = 0; index < outcomes.Count; index++)