public function testInvariantViolated() { $this->stub->accelerate(10, 30000000.0); // let's have a speed 3*1e8 m/s, faster than light! }