protected override object BeforeExploration(Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent host) { var validator = new Validator(host, this.expectedKind, this.expectedCount); host.ExplorationServices.ExceptionManager.AddExceptionValidator(validator); host.ExplorationServices.GoalManager.AddGoal(validator); return(null); }
public Validator(Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent host, PexRuntimeContractsFlags expectedKind, int expectedCount) : base(host) { this.expectedKind = expectedKind; this.expectedCount = expectedCount; }