From f087a71f499f77970e43805fa48df7465aeeed6c Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Wed, 1 May 2019 18:47:41 +0200 Subject: [PATCH] Check if config contains any engines, fixes #38 Signed-off-by: Clifford Wolf --- sbysrc/sby_core.py | 3 +++ 1 file changed, 3 insertions(+) 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: -- 2.30.2