Definition at line 9 of file ContractFailedEventArgs.cs.
Referenced by System.Diagnostics.Contracts.ContractFailedEventArgs.ContractFailedEventArgs().