Symbol: testcase_setsolverflags