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