Minor change to the test_solver