From 49863c66a6e6e331cbfa77e3e8cb00dfc50bbdff Mon Sep 17 00:00:00 2001 From: Jean THOMAS Date: Fri, 10 Jul 2020 16:15:01 +0200 Subject: [PATCH] Don't test for tREFI=1 in RefreshTimer --- gram/test/test_core_refresher.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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): -- 2.30.2