From faf1c46b1e67ab4c3d8a1c82974b0499015a83d3 Mon Sep 17 00:00:00 2001 From: rustanleino 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/test7/Output | 64 ------------------------------------------------------- 1 file changed, 64 deletions(-) delete mode 100644 Test/test7/Output (limited to 'Test/test7') diff --git a/Test/test7/Output b/Test/test7/Output deleted file mode 100644 index 82c84446..00000000 --- a/Test/test7/Output +++ /dev/null @@ -1,64 +0,0 @@ ------------------------------- NestedVC.bpl --------------------- -NestedVC.bpl(15,4): Error BP5001: This assertion might not hold. -Execution trace: - NestedVC.bpl(14,1): A - NestedVC.bpl(15,1): B - -Boogie program verifier finished with 1 verified, 1 error ------------------------------- UnreachableBlocks.bpl --------------------- - -Boogie program verifier finished with 4 verified, 0 errors ------------------------------- MultipleErrors.bpl --------------------- - ------ /vc:block -MultipleErrors.bpl(7,3): Error BP5001: This assertion might not hold. -Execution trace: - MultipleErrors.bpl(3,1): start - MultipleErrors.bpl(6,1): A - -Boogie program verifier finished with 0 verified, 1 error - ------ /vc:local -MultipleErrors.bpl(11,3): Error BP5001: This assertion might not hold. -Execution trace: - MultipleErrors.bpl(10,1): B - -Boogie program verifier finished with 0 verified, 1 error - ------ /vc:dag -MultipleErrors.bpl(7,3): Error BP5001: This assertion might not hold. -Execution trace: - MultipleErrors.bpl(3,1): start - MultipleErrors.bpl(6,1): A - -Boogie program verifier finished with 0 verified, 1 error - ------ /errorLimit:10 /vc:local -MultipleErrors.bpl(7,3): Error BP5001: This assertion might not hold. -Execution trace: - MultipleErrors.bpl(6,1): A -MultipleErrors.bpl(11,3): Error BP5001: This assertion might not hold. -Execution trace: - MultipleErrors.bpl(10,1): B -MultipleErrors.bpl(15,3): Error BP5001: This assertion might not hold. -Execution trace: - MultipleErrors.bpl(14,1): C - -Boogie program verifier finished with 0 verified, 3 errors - ------ /errorLimit:10 /vc:dag -MultipleErrors.bpl(7,3): Error BP5001: This assertion might not hold. -Execution trace: - MultipleErrors.bpl(3,1): start - MultipleErrors.bpl(6,1): A -MultipleErrors.bpl(11,3): Error BP5001: This assertion might not hold. -Execution trace: - MultipleErrors.bpl(3,1): start - MultipleErrors.bpl(10,1): B -MultipleErrors.bpl(15,3): Error BP5001: This assertion might not hold. -Execution trace: - MultipleErrors.bpl(3,1): start - MultipleErrors.bpl(6,1): A - MultipleErrors.bpl(14,1): C - -Boogie program verifier finished with 0 verified, 3 errors -- cgit v1.2.3