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 bool? AreInvariantsEnabled { get; init; }
Property Value
Type Description
bool?