Assertion list
interrupt (primary) → HasProperty
Results from Ascent++: 5
interrupt → HasProperty → asynchronous 0.49
interrupt → HasProperty → free 0.35
interrupt → HasProperty → short 0.28
interrupt → HasProperty → valid 0.25
interrupt → HasProperty → useful 0.16