testcase_resetsolverflags
testcase_resetsolverflags(solv);
extern void testcase_resetsolverflags(Solver *solv);