From: Jean THOMAS <git0@pub.jeanthomas.me>
Date: Fri, 24 Jul 2020 12:30:21 +0000 (+0200)
Subject: Use the correct value for test depth
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cb0b8018b1cef67e4c73239ad2d86664d717979a;p=gram.git

Use the correct value for test depth
---

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):