[Bug 1041889] New: Solver testcase lacks some resolver options