CompilationLoader.Configuration.EnableAdditionalChecks Property

Definition

If set to true, the post-condition for loaded rewrite steps is checked if the corresponding verification is implemented. Otherwise post-condition verifications are skipped.

public bool EnableAdditionalChecks { get; set; }
member this.EnableAdditionalChecks : bool with get, set
Public Property EnableAdditionalChecks As Boolean

Property Value

Boolean

Applies to