From fccdb4cbe2cde7c34e82f33e9de850a046fef888 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 8 Oct 2010 06:25:05 +0000 Subject: [PATCH] support (set-info) on status, source, category, difficulty, smt-lib-version, and notes; reduces extraneous "unsupported" output --- src/smt/smt_engine.cpp | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 5bf5ebd69..fc2c8550e 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -162,10 +162,15 @@ SmtEngine::~SmtEngine() { void SmtEngine::setInfo(const string& key, const SExpr& value) throw(BadOptionException) { - if(key == ":status") { + if(key == ":status" || + key == ":source" || + key == ":category" || + key == ":difficulty" || + key == ":smt-lib-version" || + key == ":notes") { + // ignore these return; } - // FIXME implement me throw BadOptionException(); } -- 2.30.2