Assertion list for term "transition into errdisable state".

Results from Ascent++: 1
port CapableOftransition into errdisable state 0.32