Assertion list
base (primary) → UsedFor
Results from Ascent++: 3
base → UsedFor → training 0.38
base → UsedFor → manufacture of the inductor waf… 0.25
base → UsedFor → operation 0.19