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;
}
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_Fault(RunContext context, uint currentIteration, Peach.Core.Dom.StateModel stateModel, Fault[] faultData)
{
_form.textBoxOutput.Invoke(new DeligateAppendToText(AppendToText),
new object[] { _form.textBoxOutput, "\r\n**** FAULT DETECTED AND LOGGED! ****\r\n" });
_form.progressBarOuputFuzzing.Invoke(new DeligateFaultIncrement(FaultIncrement),
new object[] { });
}
