From 8cd1d8d0661e1b3cfb8ad28c8a950b834768b0be Mon Sep 17 00:00:00 2001 From: Jean THOMAS Date: Fri, 7 Aug 2020 21:29:02 +0200 Subject: [PATCH] gram.test.test_core_bankmachine: Reduce formal test depth --- gram/test/test_core_bankmachine.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- 2.30.2