invariantHolds property

bool invariantHolds
final

Implementation

final bool invariantHolds;