Searched defs:tracefile (Results 1 – 6 of 6) sorted by relevance
61 const char *tracefile; in main() local
269 static FILE *tracefile; variable
268 char *name, *tracefile; in enact_scenario() local
492 const char *tracefile = "-"; in main() local
132 static const char *tracefile = DEF_TRACEFILE; variable
137 static const char *tracefile; variable