From ab38090c92343c0f1b51ebe3c4bde67c19be9253 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 22 Aug 2014 18:04:48 -0400 Subject: [PATCH] One small thing forgotten in core commit. --- src/smt/smt_engine.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 7b1f99403..730852d4a 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -1753,8 +1753,11 @@ static void dumpAssertions(const char* key, const AssertionPipeline& assertionLi bool SmtEnginePrivate::nonClausalSimplify() { d_smt.finalOptionsAreSet(); - TimerStat::CodeTimer nonclausalTimer(d_smt.d_stats->d_nonclausalSimplificationTime); + if(options::unsatCores()) { + return true; + } + TimerStat::CodeTimer nonclausalTimer(d_smt.d_stats->d_nonclausalSimplificationTime); Trace("simplify") << "SmtEnginePrivate::nonClausalSimplify()" << endl; -- 2.30.2