From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 8 Oct 2010 06:25:05 +0000 (+0000)
Subject: support (set-info) on status, source, category, difficulty, smt-lib-version, and... 
X-Git-Tag: cvc5-1.0.0~8819
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fccdb4cbe2cde7c34e82f33e9de850a046fef888;p=cvc5.git

support (set-info) on status, source, category, difficulty, smt-lib-version, and notes; reduces extraneous "unsupported" output
---

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();
 }