function it_does_not_matches_if_has_state_checker_returns_false() { $subject = new \ReflectionClass($this); $this->shouldThrow('PHPSpec2\\Exception\\Example\\FailureException')->duringPositiveMatch('haveProperty', $subject, array('other')); }