mirror of
https://github.com/YosysHQ/sby.git
synced 2025-04-05 22:14:08 +00:00
Merge pull request #173 from jix/test-cvc
Test that cvc4 and cvc5 can be used
This commit is contained in:
commit
1d21513a47
|
@ -1,6 +1,8 @@
|
|||
[tasks]
|
||||
btormc
|
||||
pono
|
||||
cvc4
|
||||
cvc5
|
||||
|
||||
[options]
|
||||
mode bmc
|
||||
|
@ -10,6 +12,8 @@ expect fail
|
|||
[engines]
|
||||
btormc: btor btormc
|
||||
pono: btor pono
|
||||
cvc4: smtbmc cvc4
|
||||
cvc5: smtbmc cvc5
|
||||
|
||||
[script]
|
||||
read -formal demo.sv
|
||||
|
|
Loading…
Reference in a new issue