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

sby: core: Added unsupported messages to the new sections

Browse source
This commit is contained in:
Aki Van Ness 2022-08-04 09:41:24 -04:00
parent 637095a8ec
commit 841e0cb797
No known key found for this signature in database
GPG key ID: C629E8EC06327BEE
4 changed files with 4 additions and 39 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
sbysrc/sby_core.py
View file

@ -291,7 +291,6 @@ class SbyConfig:
self.error(f"sby file syntax error: '[options]' section does not accept any arguments. got {args}") self.error(f"sby file syntax error: '[options]' section does not accept any arguments. got {args}")
continue continue
# [engines (MODE)]
if section == "engines": if section == "engines":
mode = "engines" mode = "engines"
@ -311,8 +310,9 @@ class SbyConfig:
engine_mode = section_args[0] engine_mode = section_args[0]
continue continue
# [setup]
if section == "setup": if section == "setup":
self.error(f"sby file syntax error: the '[setup]' section is not yet supported")
mode = "setup" mode = "setup"
if len(self.setup) != 0: if len(self.setup) != 0:
self.error(f"sby file syntax error: '[setup]' section already defined") self.error(f"sby file syntax error: '[setup]' section already defined")
@ -324,6 +324,8 @@ class SbyConfig:
# [stage <NAME> (PARENTS,...)] # [stage <NAME> (PARENTS,...)]
if section == "stage": if section == "stage":
self.error(f"sby file syntax error: the '[stage]' section is not yet supported")
mode = "stage" mode = "stage"
if args is None: if args is None:

13
tests/parser/engines.sby
View file

@ -1,13 +0,0 @@
[options]
mode bmc
depth 1
expect error
[engines]
smtbmc
[engines bmc]
smtbmc
[engines cover]
smtbmc

10
tests/parser/setup.sby
View file

@ -1,10 +0,0 @@
[options]
mode bmc
depth 1
expect error
[engines]
smtbmc
[setup]
enable *

14
tests/parser/stage.sby
View file

@ -1,14 +0,0 @@
[options]
mode bmc
depth 1
expect error
[engines]
smtbmc
[stage stage_1]
mode prove
depth 20
timeout 60
expect error
enable *