testcase_setsolverflags
testcase_setsolverflags(solv, pieces[i]);
extern int testcase_setsolverflags(Solver *solv, const char *str);