mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-08-12 00:00:55 +00:00
Code Activity

tests: parser: updated the parser tests that caused a failure due to the lack of engines section

Browse source
This commit is contained in:
Aki Van Ness 2022-07-29 10:50:57 -04:00
parent 204869bfed
commit 4abd8a7d69
No known key found for this signature in database
GPG key ID: C629E8EC06327BEE
2 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/parser/setup.sby
View file

@ -3,6 +3,8 @@ mode bmc
depth 1 depth 1
expect error expect error
[engines]
smtbmc
[setup] [setup]
enable * enable *

2
tests/parser/stage.sby
View file

@ -3,6 +3,8 @@ mode bmc
depth 1 depth 1
expect error expect error
[engines]
smtbmc
[stage stage_1] [stage stage_1]
mode prove mode prove