synced with hermes
test_solver_info_without_solution
localization source update fixed