Searched refs:specification_file (Results 1 – 1 of 1) sorted by relevance
39 char *specification_file = NULL; in main() local50 specification_file = argv[i + 1]; in main()55 specification_file = NULL; in main()69 (void)specification_file; in main()