System.Diagnostics.Contracts.ContractVerificationAttribute public sealed class ContractVerificationAttribute : Attribute Documentation public bool Value { get; } public ContractVerificationAttribute(bool value)