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 500db2c3690dc6905312fc7f736270f28d1821ab..22deaedf087ac858917749dfa4dc9e2a6327c461 100644 (file)
--- 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):