Searched refs:output_statistics (Results 1 – 3 of 3) sorted by relevance
9090 output_statistics (FILE *f) in output_statistics() function9531 output_statistics (output_description_file); in write_automata()9534 output_statistics (stderr); in write_automata()
21176 (output_statistics): Always print the number of locked states for
37051 output_tables, output_statistics): Output more information.