From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Wed, 5 May 2010 13:08:10 +0000 (+0000)
Subject: Enable counter example checking by default.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=29604f66535479b8e956d123425ed420d0b2b942;p=francis%2Fstp.git

Enable counter example checking by default.



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

diff --git a/src/STPManager/UserDefinedFlags.h b/src/STPManager/UserDefinedFlags.h
index b0195e5..d68a877 100644
--- a/src/STPManager/UserDefinedFlags.h
+++ b/src/STPManager/UserDefinedFlags.h
@@ -140,7 +140,7 @@ namespace BEEV
       arraywrite_refinement_flag = true;
       
       //check the counterexample against the original input to STP
-      check_counterexample_flag = false;
+      check_counterexample_flag = true;
       
       //construct the counterexample in terms of original variable based
       //on the counterexample returned by SAT solver