Searched defs:checkpoint_file (Results 1 – 2 of 2) sorted by relevance
336 char *checkpoint_file = NULL; in main() local
581 char *checkpoint_file, unsigned long start_lineno, unsigned long num_lines) in prime_test()