Enable bit-blaster equivalency checking by default.

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

diff --git a/src/STPManager/UserDefinedFlags.h b/src/STPManager/UserDefinedFlags.h
index 40084d634a436fcda448b80c7ad8851b9e673166..957f7aa1bb06d6be5b2d707a010a5c82f878b69a 100644 (file)
--- a/src/STPManager/UserDefinedFlags.h
+++ b/src/STPManager/UserDefinedFlags.h
@@ -289,7 +289,7 @@ namespace BEEV
       // If the bit-blaster discovers new constants, should the term simplifier be re-run.
       simplify_during_BB_flag=false;
 
-      set("bb-equiv","0");
+      set("bb-equiv","1");
 
     } //End of constructor for UserDefinedFlags