prepare for trim

Z3Prover · Jun 9, 2022 · 828850f · 828850f
1 parent c584750
commit 828850f
Show file tree

Hide file tree

Showing 5 changed files with 129 additions and 140 deletions.
diff --git a/src/sat/sat_config.cpp b/src/sat/sat_config.cpp
@@ -197,6 +197,7 @@ namespace sat {
         m_drat            = (m_drat_check_unsat || m_drat_file.is_non_empty_string() || m_drat_check_sat) && p.threads() == 1;
         m_drat_binary     = p.drat_binary();
         m_drat_activity   = p.drat_activity();
+        m_drup_trim       = p.drup_trim();
         m_dyn_sub_res     = p.dyn_sub_res();
 
         // Parameters used in Liang, Ganesh, Poupart, Czarnecki AAAI 2016.

diff --git a/src/sat/sat_config.h b/src/sat/sat_config.h
@@ -179,6 +179,7 @@ namespace sat {
         symbol             m_drat_file;
         bool               m_drat_check_unsat;
         bool               m_drat_check_sat;
+        bool               m_drup_trim;
         bool               m_drat_activity;
 
         bool               m_card_solver;