function it_outputs_a_dot_for_a_passed_example(ExampleEvent $event, ConsoleIO $io, StatisticsCollector $stats)
{
$event->getResult()->willReturn(ExampleEvent::PASSED);
$this->afterExample($event);
$io->write("<passed>.</passed>")->shouldHaveBeenCalled();
}