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

Test that cvc4 and cvc5 can be used

Browse source
This commit is contained in:
Jannis Harder 2022-06-08 13:33:12 +02:00
parent 4a9511b80b
commit d0da57f54f
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
tests/unsorted/demo.sby
View file

@ -1,6 +1,8 @@
[tasks] [tasks]
btormc btormc
pono pono
cvc4
cvc5
[options] [options]
mode bmc mode bmc
@ -10,6 +12,8 @@ expect fail
[engines] [engines]
btormc: btor btormc btormc: btor btormc
pono: btor pono pono: btor pono
cvc4: smtbmc cvc4
cvc5: smtbmc cvc5
[script] [script]
read -formal demo.sv read -formal demo.sv