void stateModels_AddEvent(OrderedDictionary <string, StateModel> sender, string key, StateModel value)
{
value.parent = this;
}
protected override void Engine_ReproFault(RunContext context, uint currentIteration, Peach.Core.Dom.StateModel stateModel, Fault[] faults)
{
reproPath = saveFaults("Reproducing", context, currentIteration, stateModel, faults);
}
protected override void Engine_Fault(RunContext context, uint currentIteration, Peach.Core.Dom.StateModel stateModel, Fault[] faultData)
{
var color = Console.ForegroundColor;
Console.ForegroundColor = ConsoleColor.Red;
Console.WriteLine(string.Format("\n -- {1} fault at iteration {0} --\n", currentIteration,
reproducing ? "Reproduced" : "Caught"));
Console.ForegroundColor = color;
reproducing = false;
}
protected override void Engine_ReproFault(RunContext context, uint currentIteration, Peach.Core.Dom.StateModel stateModel, Fault[] faults)
{
System.Diagnostics.Debug.Assert(reproFault == null);
reproFault = combineFaults(context, currentIteration, stateModel, faults);
SaveFault(Category.Reproducing, reproFault);
}
protected override void Engine_ReproFault(RunContext context, uint currentIteration, Peach.Core.Dom.StateModel stateModel, Fault [] faultData)
{
var color = Console.ForegroundColor;
Console.ForegroundColor = ConsoleColor.Yellow;
Console.WriteLine(string.Format("\n -- Caught fault at iteration {0}, trying to reproduce --\n", currentIteration));
Console.ForegroundColor = color;
reproducing = true;
}
