Fix solver tests