merged the proofgen3 branch into trunk:

    - can now output LFSC checkable resolution proofs 
    - added configuration option  --enable-proof
    - added command line argument --proof
To turn proofs on build with proofs enabled and run with --proof. 

1 files changed, 4 insertions, 0 deletions

diff --git a/src/util/configuration.cpp b/src/util/configuration.cpp
index 3164b75a5..211a1127b 100644
--- a/src/util/configuration.cpp
+++ b/src/util/configuration.cpp
@@ -69,6 +69,10 @@ bool Configuration::isAssertionBuild() {
   return IS_ASSERTIONS_BUILD;
 }
 
+bool Configuration::isProofBuild() {
+  return IS_PROOFS_BUILD;
+}
+
 bool Configuration::isCoverageBuild() {
   return IS_COVERAGE_BUILD;
 }