projects
/
gram.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Fix memtest tests (missing parenthesis)
[gram.git]
/
gram
/
test
/
test_core_refresher.py
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):