public function afterExample(ExampleEvent $event)
{
if (null === ($exception = $event->getException())) {
return;
}
if (!$exception instanceof PhpSpecClassException && !$exception instanceof ProphecyClassException) {
return;
}
$this->classes[$exception->getClassname()] = true;
}