Fix AntiStarvation test
authorJean THOMAS <git0@pub.jeanthomas.me>
Tue, 4 Aug 2020 15:24:51 +0000 (17:24 +0200)
committerJean THOMAS <git0@pub.jeanthomas.me>
Tue, 4 Aug 2020 15:24:51 +0000 (17:24 +0200)
gram/test/test_core_multiplexer.py

index 0643b02067c5a9652bffb82b433c2c7af882d972..0be117f3b7676bbb767f6d071aa6095100de21f4 100644 (file)
@@ -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)