mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-05 22:14:08 +00:00
Code Activity

Check if config contains any engines, fixes #38

Browse source 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2019-05-01 18:47:41 +02:00
parent faa5b1f908
commit f087a71f49
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
sbysrc/sby_core.py
View file

@ -589,6 +589,9 @@ class SbyJob:
if engine[0] not in ["smtbmc", "btor"]: if engine[0] not in ["smtbmc", "btor"]:
self.error("Option skip is only valid for smtbmc and btor engines.") 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: if self.reusedir:
rmtree("%s/model" % self.workdir, ignore_errors=True) rmtree("%s/model" % self.workdir, ignore_errors=True)
else: else: