Searched refs:result_input (Results 1 – 1 of 1) sorted by relevance
434 std::ifstream result_input(result_file.file().c_str()); in debug_test_case() local435 return engine::test_result::parse(result_input); in debug_test_case()497 std::ifstream result_input(result_file.file().c_str()); in run_test_case() local498 return engine::test_result::parse(result_input); in run_test_case()