Check if config contains any engines, fixes #38

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py
index 334f67ac3c4a931d5326533364732365d5b2e7c6..a66ea1409ae74e719f7a4b2118aa657ea3213267 100644 (file)
--- a/sbysrc/sby_core.py
+++ b/sbysrc/sby_core.py
@@ -589,6 +589,9 @@ class SbyJob:
                     if engine[0] not in ["smtbmc", "btor"]:
                         self.error("Option skip is only valid for smtbmc and btor engines.")
 
+        if len(self.engines) == 0:
+            self.error("Config file is lacking engine configuration.")
+
         if self.reusedir:
             rmtree("%s/model" % self.workdir, ignore_errors=True)
         else: