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 3c8b9b8d43b72b821211d14da4ba571fb1fd2e4f..37f8876638bbcc37a5628df0b464a2ff750fb9be 100644 (file)
--- 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)