MetalamaAPI documentationPatterns APIMetalama.​Patterns.​ContractsInvariant­Suspension­CounterAre­Invariants­Suspended
Open sandboxFocus

InvariantSuspensionCounter.AreInvariantsSuspended Property

AreInvariantsSuspended

Gets a value indicating whether the verification of invariants is currently suspended.

Declaration
public bool AreInvariantsSuspended { get; }
Property Value
Type Description
System.Boolean