Ascent++
Search
Assertion list
state
(
aspect
of
flop
)
→ HasA
Results from
Ascent++
:
1
state
→
HasA
→
low level
0.68