function it_prompts_the_user_when_a_prophecy_method_exception_is_thrown(ConsoleIO $io, ExampleEvent $event, SuiteEvent $suiteEvent, MethodNotFoundException $exception)
{
$exception->getClassname()->willReturn('spec\\PhpSpec\\Listener\\DoubleOfInterface');
$exception->getMethodName()->willReturn('aMethod');
$this->afterExample($event);
$this->afterSuite($suiteEvent);
$io->askConfirmation(Argument::any())->shouldHaveBeenCalled();
}