Ascent++
Search
Assertion list
running process
(
subgroup
of
process
)
→ HasA
Results from
Ascent++
:
1
running process
→
HasA
→
at least one thread
0.84