testcase_get_result
++count_by_result[testcase_get_result(testcase)];
switch (testcase_get_result(testcase)) {
testcase_set_result(testcase, testcase_get_result(tkcase));
int result = testcase_get_result(testcase);
int testcase_get_result(prop_dictionary_t testcase);