function it_outputs_todo_progress_on_afterexample_event(SpecificationEvent $specEvent, ExampleEvent $exampleEvent, ExampleNode $example, SpecificationNode $spec, ConsoleIO $io, StatisticsCollector $stats)
{
$specEvent->getSpecification()->willReturn($spec);
$exampleEvent->getExample()->willReturn($example);
$example->getTitle()->willReturn('foobar');
$exampleEvent->getResult()->willReturn(ExampleEvent::PENDING);
$exampleEvent->getException()->willReturn(new \Exception("no\nreason"));
$spec->getTitle()->willReturn('spec1');
$this->beforeSpecification($specEvent);
$this->afterExample($exampleEvent);
$expected = "not ok 1 - spec1: foobar # TODO no / reason\n ---\n severity: todo\n ...";
$io->writeln($expected)->shouldHaveBeenCalled();
}