Use the correct value for test depth

diff --git a/gram/test/test_common.py b/gram/test/test_common.py
index 2f0b4803c3e7cfc3fe3c8da7df6cdcf35f49c61e..f8387f26e465c127210b23e3b259f6c5ae0eb908 100644 (file)
--- 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 4cbfe50d3403990a960e1670b45293db5e21097a..e80036b5695d39894dec84b4a16d5f7fc633df15 100644 (file)
--- 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 22deaedf087ac858917749dfa4dc9e2a6327c461..a1f940870da4d929aeee907dec86d824656bc11b 100644 (file)
--- 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):