From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 1 May 2019 16:47:41 +0000 (+0200)
Subject: Check if config contains any engines, fixes #38
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f087a71f499f77970e43805fa48df7465aeeed6c;p=SymbiYosys.git

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 334f67a..a66ea14 100644
--- 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: