function it_outputs_an_f_for_a_failed_example(ExampleEvent $event, ConsoleIO $io, StatisticsCollector $stats)
{
$event->getResult()->willReturn(ExampleEvent::FAILED);
$this->afterExample($event);
$io->write('<failed>F</failed>')->shouldHaveBeenCalled();
}