Minor corrections.
Pass information about solver features to SolverTest.