Add a test for GenericSolver.