spec\Prophecy\Exception\Prophecy\MethodProphecyExceptionSpec::it_extends_DoubleException PHP Method

    function it_extends_DoubleException()
    {
        $this->shouldBeAnInstanceOf('Prophecy\\Exception\\Prophecy\\ObjectProphecyException');
    }