check engine configuration for unsupported engines #4898

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 18, 2020 · 8521d2c · 8521d2c
1 parent 7ce1c38
commit 8521d2c
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/muz/base/dl_context.cpp b/src/muz/base/dl_context.cpp
@@ -825,6 +825,12 @@ namespace datalog {
         else if (e == symbol("ddnf")) {
             m_engine_type = DDNF_ENGINE;
         }
+        else if (e == symbol("auto-config")) {
+
+        }
+        else {
+            throw default_exception("unsupported datalog engine type");
+        }
 
         if (m_engine_type == LAST_ENGINE) {
             expr_fast_mark1 mark;