Searched refs:output_name_imt (Results 1 – 1 of 1) sorted by relevance
1153 std::string output_name_imt = output + ".imt"; in main() local1158 outimt = new std::ofstream(output_name_imt.c_str(),std::ios::out | std::ios::binary); in main()