/** * PHPUnit_Framework_Error * @expectedException PHPUnit_Framework_Error * @dataProvider dpBadErrorRateValue */ public function testBadErrorRateValue($para) { $bf = new LtBloomFilter(); $bf->setErrorRate($para); }