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

ContractOptions.ArePreconditionsEnabled Property

ArePreconditionsEnabled

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

Declaration
public bool? ArePreconditionsEnabled { get; init; }
Property Value
Type Description
bool?