mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-12 16:28:17 +00:00
Code Activity

Specifying z3 to support minimum required install

Browse source
This commit is contained in:
KrystalDelusion 2022-05-31 11:31:20 +12:00
parent b18f22cf43
commit f5257011f6
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/examples/fifo/fifo.sby
View file

@ -11,7 +11,7 @@ mode prove
-- --
[engines] [engines]
cover: smtbmc cover: smtbmc z3
prove: abc pdr prove: abc pdr
[script] [script]