testcase_getsolverflags
s = testcase_getsolverflags(solv);
extern const char *testcase_getsolverflags(Solver *solv);