projects
/
gram.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
cf5db01
)
Fix AntiStarvation test
author
Jean THOMAS
<git0@pub.jeanthomas.me>
Tue, 4 Aug 2020 15:24:51 +0000
(17:24 +0200)
committer
Jean THOMAS
<git0@pub.jeanthomas.me>
Tue, 4 Aug 2020 15:24:51 +0000
(17:24 +0200)
gram/test/test_core_multiplexer.py
patch
|
blob
|
history
diff --git
a/gram/test/test_core_multiplexer.py
b/gram/test/test_core_multiplexer.py
index 0643b02067c5a9652bffb82b433c2c7af882d972..0be117f3b7676bbb767f6d071aa6095100de21f4 100644
(file)
--- a/
gram/test/test_core_multiplexer.py
+++ b/
gram/test/test_core_multiplexer.py
@@
-102,7
+102,6
@@
class AntiStarvationTestCase(FHDLTestCase):
dut = _AntiStarvation(timeout)
self.assertFormal(dut, mode="bmc", depth=timeout+1)
- generic_test(0)
generic_test(5)
generic_test(10)
generic_test(0x20)