public function testApiDestructor_CallsDestructMethod() { $solver = $this->createSolver([], ['destruct']); $solver->expects($this->once())->method('destruct'); $solver->__destruct(); }