RESULT_BUILDFAIL
total_run = 0.0 + total_tests - count_by_result[RESULT_BUILDFAIL] -
printf("Tests not built:\t%d\n", count_by_result[RESULT_BUILDFAIL]);
testcase_set_result(testcase, RESULT_BUILDFAIL);
case RESULT_BUILDFAIL: return "BUILDFAIL";