Searched refs:frozen_file_to_write (Results 1 – 2 of 2) sorted by relevance
416 const char *frozen_file_to_write = NULL; in main() local529 frozen_file_to_write = optarg; in main()722 if (frozen_file_to_write) in main()723 produce_frozen_state (frozen_file_to_write); in main()
2617 (interactive, frozen_file_to_read, frozen_file_to_write): Move to