Symbol: testcase_result