Searched defs:result_input (Results 1 – 1 of 1) sorted by relevance
434 std::ifstream result_input(result_file.file().c_str()); in debug_test_case() local497 std::ifstream result_input(result_file.file().c_str()); in run_test_case() local