Ascent++
Search
value
aspect of
inductor
,
11
assertions
HasProperty
6
equal
0.71
small
0.65
proportional
0.55
possible
0.55
large
0.25
high
0.25
ReceivesAction
5
adjusted
0.68
selected
0.68
represented by the equa…
0.47
set
0.25
set in accordance
0.25