From: Jean THOMAS <git0@pub.jeanthomas.me>
Date: Fri, 10 Jul 2020 14:15:01 +0000 (+0200)
Subject: Don't test for tREFI=1 in RefreshTimer
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=49863c66a6e6e331cbfa77e3e8cb00dfc50bbdff;p=gram.git

Don't test for tREFI=1 in RefreshTimer
---

diff --git a/gram/test/test_core_refresher.py b/gram/test/test_core_refresher.py
index 500db2c..22deaed 100644
--- a/gram/test/test_core_refresher.py
+++ b/gram/test/test_core_refresher.py
@@ -36,8 +36,7 @@ class RefreshTimerTestCase(FHDLTestCase):
         def generic_test(tREFI):
             dut = RefreshTimer(tREFI)
             self.assertFormal(dut, mode="bmc", depth=4)
-        
-        [generic_test(_) for _ in [1, 5, 10]]
+        [generic_test(_) for _ in [2, 5, 10]]
 
 class RefreshPostponerTestCase(FHDLTestCase):
     def test_init(self):