Removed Output files. These are created on a local machine when the tests are run.

1 files changed, 0 insertions, 25 deletions

diff --git a/Test/smoke/Output b/Test/smoke/Output
deleted file mode 100644
index 4141bdb0..00000000
--- a/Test/smoke/Output
+++ /dev/null
@@ -1,25 +0,0 @@
--------------------- smoke0.bpl --------------------

-found unreachable code:

-implementation b(x: int)

-{

-  var y: int;

-  var y@0: int;

-

-

-  anon0:

-    assume true;

-    assume true;

-    goto anon3_Then;

-

-  anon3_Then:

-    assume true;

-    assume x < 0;

-    y := 1;

-    assume 1 <= y && y <= 1;

-    assert false;

-    return;

-}

-

-

-

-Boogie program verifier finished with 4 verified, 0 errors