ContractOptions.ArePostconditionsEnabled Property
ArePostconditionsEnabled
Gets or sets a value indicating whether postcondition contracts are being enforced. This option is true by default.
Declaration
public Nullable<bool> ArePostconditionsEnabled { get; set; }Property Value
| Type | Description |
|---|---|
| Nullable<Boolean> |