Assertion list
fet (primary) → ReceivesAction

Results from Ascent++: 9
fetReceivesAction biased in the saturation region 0.52
fetReceivesAction connected to electric line 0.43
fetReceivesAction formed 0.43
fetReceivesAction connected in parallel 0.40
fetReceivesAction switched 0.40
fetReceivesAction closed 0.36
fetReceivesAction matched 0.31
fetReceivesAction disclosed 0.25
fetReceivesAction turned on as example 0.25