VacuousGreen
Functions
Link copied to clipboard
A pass is Validity.VACUOUS when its steps lack the failing step or only mark it skipped, and Validity.UNKNOWN when it has no steps at all or the step has no usable conclusion.