From 53a2c62e740b44c3cf1f9a89f037ddb2e3942691 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <mt@debian.org>
Date: Mon, 20 Jun 2016 12:43:57 +0100
Subject: [PATCH] Successfully producing a formula with --outfile should not
 yield non-zero exit

---
 src/cbmc/bmc.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cbmc/bmc.cpp b/src/cbmc/bmc.cpp
index 1439b3cd547..34a1d199f31 100644
--- a/src/cbmc/bmc.cpp
+++ b/src/cbmc/bmc.cpp
@@ -598,7 +598,7 @@ safety_checkert::resultt bmct::stop_on_fail(
   default:
     if(options.get_bool_option("dimacs") ||
        options.get_option("outfile")!="")
-      return ERROR;
+      return SAFE;
       
     error() << "decision procedure failed" << eom;