From faf1c46b1e67ab4c3d8a1c82974b0499015a83d3 Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Fri, 7 Aug 2009 17:21:13 +0000
Subject: Removed Output files.  These are created on a local machine when the
 tests are run.

---
 Test/test13/Output | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 Test/test13/Output

(limited to 'Test/test13')

diff --git a/Test/test13/Output b/Test/test13/Output
deleted file mode 100644
index c8263ac1..00000000
--- a/Test/test13/Output
+++ /dev/null
@@ -1,15 +0,0 @@
-
--------------------- ErrorTraceTestLoopInvViolationBPL --------------------
-ErrorTraceTestLoopInvViolationBPL.bpl(7,3): Error BP5001: This assertion might not hold.
-Execution trace:
-    ErrorTraceTestLoopInvViolationBPL.bpl(5,5): anon0
-ErrorTraceTestLoopInvViolationBPL.bpl(16,16): Error BP5004: This loop invariant might not hold on entry.
-Execution trace:
-    ErrorTraceTestLoopInvViolationBPL.bpl(14,5): anon0
-ErrorTraceTestLoopInvViolationBPL.bpl(27,17): Error BP5005: This loop invariant might not be maintained by the loop.
-Execution trace:
-    ErrorTraceTestLoopInvViolationBPL.bpl(25,5): anon0
-    ErrorTraceTestLoopInvViolationBPL.bpl(27,3): anon2_LoopHead
-    ErrorTraceTestLoopInvViolationBPL.bpl(28,7): anon2_LoopBody
-
-Boogie program verifier finished with 0 verified, 3 errors
-- 
cgit v1.2.3