testcase_solverresult
result = testcase_solverresult(solv, resultflags);
extern char *testcase_solverresult(Solver *solv, int flags);