From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Wed, 8 Feb 2012 12:57:03 +0000 (+0000)
Subject: Turn off more things when disabling simplify.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=b7f3a275b09ce2130baecb85f6ff54197c8c4c26;p=francis%2Fstp.git

Turn off more things when disabling simplify.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1562 e59a4935-1847-0410-ae03-e826735625c1
---

diff --git a/src/STPManager/UserDefinedFlags.h b/src/STPManager/UserDefinedFlags.h
index 957f7aa..1c7350b 100644
--- a/src/STPManager/UserDefinedFlags.h
+++ b/src/STPManager/UserDefinedFlags.h
@@ -156,6 +156,11 @@ namespace BEEV
       bitConstantProp_flag = false;
       set("enable-unconstrained","0");
       set("use-intervals","0");
+      set("pure-literals","0");
+      set("simple-cnf","1");
+      set("always_true","0");
+	   set("bitblast-simplification","0");
+
       wordlevel_solve_flag = false;
       propagate_equalities = false;
     }