/** * @param int $variable * @dataProvider providerInvariantInvalid * @expectedException \PhpDeal\Exception\ContractViolation */ public function testInvariantInvalid($variable) { $this->stub->setVariable($variable); }