testcase_get_result_desc
printf("%s\n", testcase_get_result_desc(testcase));
printf("Result: %s\n", testcase_get_result_desc(testcase));
const char *testcase_get_result_desc(prop_dictionary_t testcase);