Searched refs:InputFileName (Results 1 – 1 of 1) sorted by relevance
89 std::string InputFileName = "input.txt"; variable191 FILE* input_file = fopen(InputFileName.c_str(), "r"); in run_pipeline()193 throw std::invalid_argument(("Invalid input file name: " + InputFileName).c_str()); in run_pipeline()239 .positional_arg(InputFileName, "input-file", "input file name") in main()245 generate_if_needed(InputFileName.c_str()); in main()