projects / SymbiYosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 3f32deb)
add depth 1
authorJacob Lifshay <programmerjake@gmail.com>
Wed, 25 May 2022 10:35:21 +0000 (03:35 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Wed, 25 May 2022 10:35:21 +0000 (03:35 -0700)
tests/unsorted/floor_divmod.sby patch | blob | history

diff --git a/tests/unsorted/floor_divmod.sby b/tests/unsorted/floor_divmod.sby
index 53218cc770f668f758a55373e111622618019148..df35f8a2584ae5341d4369a4c1ff9c5854a7a70a 100644 (file)
--- a/tests/unsorted/floor_divmod.sby
+++ b/tests/unsorted/floor_divmod.sby
@@ -1,5 +1,6 @@
 [options]
 mode bmc
+depth 1
 
 [engines]
 smtbmc