From cb0b8018b1cef67e4c73239ad2d86664d717979a Mon Sep 17 00:00:00 2001 From: Jean THOMAS Date: Fri, 24 Jul 2020 14:30:21 +0200 Subject: [PATCH] Use the correct value for test depth --- gram/test/test_common.py | 2 +- gram/test/test_core_multiplexer.py | 2 +- gram/test/test_core_refresher.py | 7 ++++--- 3 files changed, 6 insertions(+), 5 deletions(-) diff --git a/gram/test/test_common.py b/gram/test/test_common.py index 2f0b480..f8387f2 100644 --- a/gram/test/test_common.py +++ b/gram/test/test_common.py @@ -9,7 +9,7 @@ class tXXDControllerTestCase(FHDLTestCase): def test_formal(self): def generic_test(txxd): dut = tXXDController(txxd) - self.assertFormal(dut, mode="bmc", depth=4) + self.assertFormal(dut, mode="bmc", depth=txxd+1 if txxd is not None else 10) generic_test(None) generic_test(0) diff --git a/gram/test/test_core_multiplexer.py b/gram/test/test_core_multiplexer.py index 4cbfe50..e80036b 100644 --- a/gram/test/test_core_multiplexer.py +++ b/gram/test/test_core_multiplexer.py @@ -26,7 +26,7 @@ class AntiStarvationTestCase(FHDLTestCase): def test_formal(self): def generic_test(timeout): dut = _AntiStarvation(timeout) - self.assertFormal(dut, mode="bmc", depth=4) + self.assertFormal(dut, mode="bmc", depth=timeout+1) generic_test(0) #generic_test(1) diff --git a/gram/test/test_core_refresher.py b/gram/test/test_core_refresher.py index 22deaed..a1f9408 100644 --- a/gram/test/test_core_refresher.py +++ b/gram/test/test_core_refresher.py @@ -28,14 +28,15 @@ class RefreshExecuterTestCase(FHDLTestCase): class RefreshSequencerTestCase(FHDLTestCase): def test_formal(self): - dut = RefreshSequencer(abits=14, babits=3, trp=5, trfc=5, postponing=1) - self.assertFormal(dut, mode="bmc", depth=4) + trp = 5; trfc = 5 + dut = RefreshSequencer(abits=14, babits=3, trp=trp, trfc=trfc, postponing=1) + self.assertFormal(dut, mode="bmc", depth=trp+trfc+1) class RefreshTimerTestCase(FHDLTestCase): def test_formal(self): def generic_test(tREFI): dut = RefreshTimer(tREFI) - self.assertFormal(dut, mode="bmc", depth=4) + self.assertFormal(dut, mode="bmc", depth=tREFI+1) [generic_test(_) for _ in [2, 5, 10]] class RefreshPostponerTestCase(FHDLTestCase): -- 2.30.2