mscorlib 4.0.0.0 System.Attribute System.AttributeUsage(System.AttributeTargets.Assembly | System.AttributeTargets.Class | System.AttributeTargets.Struct | System.AttributeTargets.Constructor | System.AttributeTargets.Method | System.AttributeTargets.Property | System.AttributeTargets.All) System.Diagnostics.Conditional("CONTRACTS_FULL")

Use ContractVerification(false) to explicitly mark an assembly, type, or member as not requiring verification. The most specific element found (member, type, and then assembly) takes precedence. Applying this attribute to a property, type, or assembly has the following effects:

When you apply it to a property, it applies to both the get accessor and the set accessor.

When you apply it to a type, it applies to all members of the type, including nested types.

When you apply it to an assembly, it applies to all types and members of the assembly.

Instructs analysis tools to assume the correctness of an assembly, type, or member without performing static verification.

- Constructor
  4.0.0.0

  Initializes a new instance of the class.

  true to require verification; otherwise, false.
- Property
  4.0.0.0
  System.Boolean Whether to include this item in verification.

  Gets the value that indicates whether to verify the contract of the target.