Revert "Fix test"

This reverts commit 593340f.
boogie-org · Oct 23, 2024 · 34d896f · 34d896f
1 parent d760739
commit 34d896f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Source/UnitTests/ExecutionEngineTests/ExecutionEngineTest.cs b/Source/UnitTests/ExecutionEngineTests/ExecutionEngineTest.cs
@@ -266,6 +266,7 @@ public async Task LoopInvariantDescriptions()
 fakeFilename(10,5): Related message: fake failure
 Execution trace:
     fakeFilename(5,3): entry
+    fakeFilename(9,3): block850
 
 Boogie program verifier finished with 0 verified, 1 error
 ".ReplaceLineEndings();