Fix basic_solver_test.