Next: Output
Up: Preprocessor Profiling
Previous: Format
Contents
- Print all preprocessors, sort by avg_ticks (default configuration if
option is turned on)
config profile_preprocs
- Print all preprocessors, sort by avg_ticks, and append to file
preprocs_stats.txt
config profile_preprocs: filename preprocs_stats.txt append
- Print the top 10 preprocessors, based on highest average time
config profile_preprocs: print 10, sort avg_ticks
- Print all preprocessors, sorted by number of checks
config profile_preprocs: print all, sort checks
Eugene Misnik
2013-05-08