diff options
| author |  Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2013-03-01 22:05:19 -0800 |
|---|---|---|
| committer | Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2013-03-01 22:05:19 -0800 |
| commit | abdbd2a717efd1e6184bf1113ed2cce63da0d0ea (patch) | |
| tree | 192a5dac7dfcf28cc8278964f4dff4cb2a4273c3 /Test/og/Answer | |
| parent | c5c2c9465a53e4b35a20ad5efe73882dc6a5af34 (diff) | |
added parallel calls
Diffstat (limited to 'Test/og/Answer')
| -rw-r--r-- | Test/og/Answer | 12 |
1 files changed, 10 insertions, 2 deletions
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
|