support (set-info) on status, source, category, difficulty, smt-lib-version, and...

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 5bf5ebd691519ccc7255fc7e2bc29e115894a734..fc2c8550e5298375e1b34be47c7e478e5a699954 100644 (file)
--- 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();
 }