mirror of
https://github.com/YosysHQ/sby.git
synced 2025-10-31 04:52:30 +00:00
20 lines
210 B
Text
20 lines
210 B
Text
[tasks]
|
|
pass
|
|
fail
|
|
|
|
[options]
|
|
fail: expect fail
|
|
mode prove
|
|
depth 5
|
|
|
|
[engines]
|
|
smtbmc
|
|
|
|
[script]
|
|
read -sv tristates.v
|
|
pass: prep -top top_pass
|
|
fail: prep -top top_fail
|
|
flatten; tribuf -formal
|
|
|
|
[files]
|
|
tristates.v
|