Symbol: testcase_getsolverflags