mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-03-29 19:25:50 +00:00
Code Activity

Merge 8e37ec13bf into ab5bf1c10b

Browse source
This commit is contained in:
Anzzy 2026-03-25 00:10:37 +05:30 • committed by GitHub
commit d838d937ec
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
sbysrc/sby.py
View file

@ -215,7 +215,7 @@ def read_sbyconfig(sbydata, taskname):
tasks_section = False
if task_skiping_blocks:
if line == "--":
if line.strip() == "--":
task_skip_block = False
task_skiping_blocks = False
return

4
sbysrc/sby_core.py
View file

@ -1373,7 +1373,9 @@ class SbyTask(SbyConfig):
self.handle_str_option("mode", None)
if self.opt_mode not in ["bmc", "prove", "cover", "live", "prep"]:
if self.opt_mode is None:
self.error("Missing mode. Please specify a `mode` in the [options] section.")
elif self.opt_mode not in ["bmc", "prove", "cover", "live", "prep"]:
self.error(f"Invalid mode: {self.opt_mode}")
self.expect = ["PASS"]