From abdbd2a717efd1e6184bf1113ed2cce63da0d0ea Mon Sep 17 00:00:00 2001
From: Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com>
Date: Fri, 1 Mar 2013 22:05:19 -0800
Subject: added parallel calls

---
 Test/og/Answer | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'Test/og/Answer')

diff --git a/Test/og/Answer b/Test/og/Answer
index 712ebfd8..15dd93bd 100644
--- a/Test/og/Answer
+++ b/Test/og/Answer
@@ -1,9 +1,9 @@
 
 -------------------- foo.bpl --------------------
-OwickiGriesDesugared.bpl(179,4): Error BP5001: This assertion might not hold.
+OwickiGriesDesugared.bpl(171,4): Error BP5001: This assertion might not hold.
 Execution trace:
     OwickiGriesDesugared.bpl(17,0): anon0
-    OwickiGriesDesugared.bpl(177,0): inline$YieldChecker_PC$0$L1
+    OwickiGriesDesugared.bpl(169,0): inline$YieldChecker_PC$0$L1
 
 Boogie program verifier finished with 3 verified, 1 error
 
@@ -23,6 +23,10 @@ Boogie program verifier finished with 2 verified, 2 errors
 
 Boogie program verifier finished with 2 verified, 0 errors
 
+-------------------- parallel1.bpl --------------------
+
+Boogie program verifier finished with 4 verified, 0 errors
+
 -------------------- linear-set.bpl --------------------
 
 Boogie program verifier finished with 2 verified, 0 errors
@@ -38,3 +42,7 @@ Boogie program verifier finished with 3 verified, 0 errors
 -------------------- DeviceCacheSimplified.bpl --------------------
 
 Boogie program verifier finished with 5 verified, 0 errors
+
+-------------------- parallel2.bpl --------------------
+
+Boogie program verifier finished with 4 verified, 0 errors
-- 
cgit v1.2.3