MetalamaAPI documentationPatterns APIMetalama.​Patterns.​ContractsContract­OptionsAre­Invariants­Enabled
Open sandboxFocus

ContractOptions.AreInvariantsEnabled Property

AreInvariantsEnabled

Gets or sets a value indicating whether invariants are being enforced. This option is true by default.

Declaration
public Nullable<bool> AreInvariantsEnabled { get; set; }
Property Value
Type Description
Nullable<Boolean>