mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 00:26:38 +00:00
Code Activity

fix

Browse source
This commit is contained in:
Jakob Rath 2023-03-18 14:02:22 +01:00
parent 707a5b78f7
commit 7e6571309e
1 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/math/polysat/conflict.cpp
View file

@ -132,10 +132,14 @@ namespace polysat {
conflict::conflict(solver& s) : s(s) {
// TODO: m_log_conflicts is always false even if "polysat.log_conflicts=true" is given on the command line
if (ENABLE_CONFLICTS_TXT || s.get_config().m_log_conflicts)
#if ENABLE_CONFLICTS_TXT
if (true || s.get_config().m_log_conflicts)
m_logger = alloc(file_inference_logger, s);
else
m_logger = alloc(dummy_inference_logger);
#else
m_logger = alloc(dummy_inference_logger);
#endif
m_resolver = alloc(conflict_resolver, s);
}