diff options
author | Andres Noetzli <noetzli@stanford.edu> | 2019-06-27 00:25:50 -0700 |
---|---|---|
committer | Andres Noetzli <noetzli@stanford.edu> | 2019-06-27 00:25:50 -0700 |
commit | 0e351fa7868a60b13e5a0b0045b98c7591650926 (patch) | |
tree | 0c49721661e4fd8627d9354e99fa9dc30f11bf63 | |
parent | 0382d972dcd31f34ec156c61adfe5d40c8a32788 (diff) |
Avoid printing "success" for forced logicsmtcomp2019_fixed
-rw-r--r-- | src/parser/smt2/smt2.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index 88e4d8d50..de4ddde20 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -559,14 +559,17 @@ Command* Smt2::setLogic(std::string name, bool fromCommand) addTheory(THEORY_SEP); } + Command* cmd = nullptr; if (sygus()) { - return new SetBenchmarkLogicCommand(d_logic.getLogicString()); + cmd = new SetBenchmarkLogicCommand(d_logic.getLogicString()); } else { - return new SetBenchmarkLogicCommand(name); + cmd = new SetBenchmarkLogicCommand(name); } + cmd->setMuted(true); + return cmd; } /* Smt2::setLogic() */ void Smt2::setInfo(const std::string& flag, const SExpr& sexpr) { |