From c1b06a908ab1ed746672dd42eaf9417916a297cc Mon Sep 17 00:00:00 2001
From: Shaz Qadeer <qadeer@microsoft.com>
Date: Thu, 1 Oct 2015 09:40:42 -0700
Subject: another fix requested by Chris verification is performed now for all
 created layers

---
 Test/civl/parallel1.bpl.expect | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/civl/parallel1.bpl.expect')

diff --git a/Test/civl/parallel1.bpl.expect b/Test/civl/parallel1.bpl.expect
index 889ee4f2..fa974099 100644
--- a/Test/civl/parallel1.bpl.expect
+++ b/Test/civl/parallel1.bpl.expect
@@ -5,4 +5,4 @@ Execution trace:
     parallel1.bpl(14,3): inline$Incr_1$0$A
     (0,0): inline$Impl_YieldChecker_PC_1$0$L0
 
-Boogie program verifier finished with 3 verified, 1 error
+Boogie program verifier finished with 7 verified, 1 error
-- 
cgit v1.2.3