public object BeforeExecution(Microsoft.Pex.Engine.ComponentModel.IPexComponent host) { return(null); }
public void AfterExecution(Microsoft.Pex.Engine.ComponentModel.IPexComponent host, object data) { host.GetService <SeqexDatabase>().AfterExecution(); }