From: Jacob Lifshay <programmerjake@gmail.com>
Date: Wed, 25 May 2022 10:35:21 +0000 (-0700)
Subject: add depth 1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a87d21a8020e3f48d0ecdebfa08fe43f0ce7d5fc;p=SymbiYosys.git

add depth 1
---

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