- summary timers command documentation
Toggle on or off the internal timers used to profile Soar.
|| `-d, --disable, --off` || Disable all timers. || || `-e, --enable, --on` || Enable timers as compiled. ||
This command is used to control the timers that collect internal profiling information while Soar is running. With no arguments, this command prints out the current timer status. Timers are ENABLED by default. The default compilation flags for soar enable the basic timers and disable the detailed timers. The timers command can only enable or disable timers that have already been enabled with compiler directives. See the [cmd_stats] command for more info on the Soar timing system.
[cmd_stats]