From 7a3c1df12b165c2e54e811ed2441fbfaefdb6bf8 Mon Sep 17 00:00:00 2001 From: Jean THOMAS Date: Tue, 4 Aug 2020 17:24:51 +0200 Subject: [PATCH] Fix AntiStarvation test --- gram/test/test_core_multiplexer.py | 1 - 1 file changed, 1 deletion(-) 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) -- 2.30.2