Assertion list
voltmeter (primary) → HasProperty
Results from Ascent++: 3
voltmeter → HasProperty → accurate 0.32
voltmeter → HasProperty → faulty 0.24
voltmeter → HasProperty → perfect 0.16