1 files changed, 0 insertions, 23 deletions
diff --git a/Test/smoke/Answer b/Test/smoke/Answer
deleted file mode 100644
index e2390446..00000000
--- a/Test/smoke/Answer
+++ /dev/null
@@ -1,23 +0,0 @@
--------------------- smoke0.bpl --------------------
-found unreachable code:
-implementation b(x: int)
-{
-  var y: int;
-
-
-  0:
-    goto anon0;
-
-  anon0:
-    goto anon3_Then;
-
-  anon3_Then:
-    assume {:partition} x < 0;
-    y := 1;
-    assert false;
-    return;
-}
-
-
-
-Boogie program verifier finished with 4 verified, 0 errors