<?php
namespace specProphecyExceptionDoubler;
use PhpSpecObjectBehavior;
class DoubleExceptionSpec extends ObjectBehavior
{
function it_is_a_double_exception()
{
$this->shouldBeAnInstanceOf('RuntimeException');
$this->shouldBeAnInstanceOf('ProphecyExceptionDoublerDoublerException');
}
}