Fix AntiStarvation test

jeanthom · Aug 4, 2020 · 7a3c1df · 7a3c1df
1 parent cf5db01
commit 7a3c1df
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/gram/test/test_core_multiplexer.py b/gram/test/test_core_multiplexer.py
@@ -102,7 +102,6 @@ def generic_test(timeout):
             dut = _AntiStarvation(timeout)
             self.assertFormal(dut, mode="bmc", depth=timeout+1)
 
-        generic_test(0)
         generic_test(5)
         generic_test(10)
         generic_test(0x20)