next up previous contents index
Next: The version Command Up: Miscellaneous Commands Previous: Integer Valued Database Entries   Contents   Index

The stats Command

The stats command is basically identical to the rusage command, and accepts the same arguments as described for that command.

stats [all] [resource ...]

The difference is that when given without an argument, all run statistics are printed. This is the same as ``rusage all'' with the totaltime, elapsed, space, and faults fields omitted.

Stephen R. Whiteley 2022-09-18