Add a test for the result value of a SolverError