Ascent++
Search
Assertion list
run capacitor
(
subgroup
of
capacitor
)
→ ReceivesAction
Results from
Ascent++
:
1
run capacitor
→
ReceivesAction
→
used as a start capacitor
0.68