testcase_get_exit_value
printf("Exit code: %d\n", testcase_get_exit_value(testcase));
int testcase_get_exit_value(prop_dictionary_t testcase);