Fix test

boogie-org · Oct 23, 2024 · 593340f · 593340f
1 parent b40821a
commit 593340f
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Source/UnitTests/ExecutionEngineTests/ExecutionEngineTest.cs b/Source/UnitTests/ExecutionEngineTests/ExecutionEngineTest.cs
@@ -266,7 +266,6 @@ 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();