From 717eaee0063074b804098d3cfd44a7a3f822b064 Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Tue, 16 Feb 2010 05:07:46 +0000
Subject: Implemented block coalescing invoked right after type checking.
 Controlled by the option /coalesceBlocks (default is to perform the
 optimization).

---
 Test/aitest9/answer | 2 --
 1 file changed, 2 deletions(-)

(limited to 'Test/aitest9')

diff --git a/Test/aitest9/answer b/Test/aitest9/answer
index dd10a8b3..d6bba688 100644
--- a/Test/aitest9/answer
+++ b/Test/aitest9/answer
@@ -14,13 +14,11 @@ Execution trace:
     TestIntervals.bpl(5,5): anon0
     TestIntervals.bpl(6,3): anon9_LoopHead
     TestIntervals.bpl(6,3): anon9_LoopDone
-    TestIntervals.bpl(11,5): anon2
     TestIntervals.bpl(12,14): anon10_Then
     TestIntervals.bpl(13,3): anon4
     TestIntervals.bpl(13,14): anon11_Then
     TestIntervals.bpl(14,3): anon6
     TestIntervals.bpl(14,14): anon12_Then
     TestIntervals.bpl(17,5): anon8
-    TestIntervals.bpl(21,3): Next
 
 Boogie program verifier finished with 0 verified, 1 error
-- 
cgit v1.2.3