mirror of
https://github.com/YosysHQ/sby.git
synced 2025-11-03 22:29:12 +00:00
20 lines
249 B
Text
20 lines
249 B
Text
[tasks]
|
|
bmc
|
|
prove
|
|
abc : prove
|
|
|
|
[options]
|
|
bmc: mode bmc
|
|
prove: mode prove
|
|
expect fail
|
|
|
|
[engines]
|
|
~abc: smtbmc --keep-going boolector
|
|
abc: abc --keep-going pdr
|
|
|
|
[script]
|
|
read -sv keepgoing_multi_step.sv
|
|
prep -top test
|
|
|
|
[files]
|
|
keepgoing_multi_step.sv
|