testcase_get_name
testcase_get_name(tbridge_testcase), result);
i = printf("%s", testcase_get_name(testcase));
printf("Test: %s\n", testcase_get_name(testcase));
testcase_get_name(testcase));
printf("Running testcase %s... ", testcase_get_name(testcase));
const char *testcase_get_name(prop_dictionary_t testcase);