Assertion list for term "tested within the winspice environment".
Results from Ascent++: 1
circuit → ReceivesAction → tested within the winspice environment 0.25