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/havoc0/Output | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 Test/havoc0/Output (limited to 'Test/havoc0') diff --git a/Test/havoc0/Output b/Test/havoc0/Output deleted file mode 100644 index 80fd4aa3..00000000 --- a/Test/havoc0/Output +++ /dev/null @@ -1,12 +0,0 @@ - -Boogie program verifier finished with 1 verified, 0 errors - -Boogie program verifier finished with 1 verified, 0 errors - -Boogie program verifier finished with 1 verified, 0 errors - -Boogie program verifier finished with 1 verified, 0 errors - -Boogie program verifier finished with 1 verified, 0 errors - -Boogie program verifier finished with 1 verified, 0 errors -- cgit v1.2.3