From 34d896f34676a3367aa288aad3e94cd018f3e8ab Mon Sep 17 00:00:00 2001
From: Remy Willems <rwillems@amazon.com>
Date: Wed, 23 Oct 2024 14:20:01 +0200
Subject: [PATCH] Revert "Fix test"

This reverts commit 593340f7bb30c8ebd9cd529ca538c4818b743c73.
---
 Source/UnitTests/ExecutionEngineTests/ExecutionEngineTest.cs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Source/UnitTests/ExecutionEngineTests/ExecutionEngineTest.cs b/Source/UnitTests/ExecutionEngineTests/ExecutionEngineTest.cs
index 2ed1249b5..7cfe2ef9d 100644
--- 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();