Assertion list for term "reveal violation".

Results from Ascent++: 1
audit CapableOfreveal violation 0.30