public Validator(Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent host, PexRuntimeContractsFlags expectedKind, int expectedCount) : base(host) { this.expectedKind = expectedKind; this.expectedCount = expectedCount; }
public ContractAllowedExceptionAttribute(PexRuntimeContractsFlags expected, int expectedCount) { this.expectedKind = expected; this.expectedCount = expectedCount; }