Beispiel #1
0
        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;
        }
Beispiel #2
0
        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;
        }
Beispiel #3
0
        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[] { });
        }