/** * @expectedException \PhpDeal\Exception\ContractViolation */ public function testEnsureInvalid() { $this->stub->badIncrement(40); }