From: Jean THOMAS <git0@pub.jeanthomas.me>
Date: Fri, 7 Aug 2020 19:29:02 +0000 (+0200)
Subject: gram.test.test_core_bankmachine: Reduce formal test depth
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8cd1d8d0661e1b3cfb8ad28c8a950b834768b0be;p=gram.git

gram.test.test_core_bankmachine: Reduce formal test depth
---

diff --git a/gram/test/test_core_bankmachine.py b/gram/test/test_core_bankmachine.py
index 3c8b9b8..37f8876 100644
--- a/gram/test/test_core_bankmachine.py
+++ b/gram/test/test_core_bankmachine.py
@@ -69,4 +69,4 @@ class BankMachineTestCase(FHDLTestCase):
 
     def test_no_request_grant(self):
         dut = BankMachine(0, 20, 2, 1, self.settings)
-        self.assertFormal(dut, "bmc", depth=100)
+        self.assertFormal(dut, "bmc", depth=21)