Open sandboxFocus

Property ArePostconditionsEnabled

ArePostconditionsEnabled

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

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