Searched refs:tracefile (Results 1 – 1 of 1) sorted by relevance
687 const char *tracefile = "-"; in main() local728 tracefile = argv[1]; in main()745 readtrace (tracefile); in main()