invariantHolds property

bool get invariantHolds

Implementation

bool get invariantHolds => violations.isEmpty;