Searched refs:exstop_file (Results 1 – 1 of 1) sorted by relevance
797 exstop_file = open_output_file("exstop_table.bin") variable846 copy_output_file(exstop_file, "exstop")868 remove_output_file(exstop_file)1086 exstop_file.write(value)