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

add depth 1

Browse source
This commit is contained in:
Jacob Lifshay 2022-05-25 03:35:21 -07:00
parent 3f32deb8c9
commit a87d21a802
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
tests/unsorted/floor_divmod.sby
View file

@ -1,5 +1,6 @@
[options] [options]
mode bmc mode bmc
depth 1
[engines] [engines]
smtbmc smtbmc