Document that default FORMAT includes total time #12
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This pull request contains two changes.
format
method.The default
FORMAT
string is currently:"%10.6u %10.6y %10.6t %10.6r\n"
This represents user time, system time, total time, and elapsed real time, respectively.
The current documentation forgets to mention that total time is included.
Certain references to the total time suggest that they are a sum of user CPU time and system CPU time. I think we should be more specific and highlight that the total includes the children's user and system CPU times as it is not readily apparent until looking much deeper into the documentation and codebase.