[Bug 1041889] Solver testcase lacks some resolver options