From: Jean THOMAS Date: Tue, 4 Aug 2020 15:24:51 +0000 (+0200) Subject: Fix AntiStarvation test X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7a3c1df12b165c2e54e811ed2441fbfaefdb6bf8;p=gram.git Fix AntiStarvation test --- diff --git a/gram/test/test_core_multiplexer.py b/gram/test/test_core_multiplexer.py index 0643b02..0be117f 100644 --- 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)