Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
issue-6-benchmark: Internally record resource usage
Record resource usage internally in addition to recording the elapsed wall clock time. This generates a report internally with all the resource and time usage which appears to be of importance first. At the end, it still runs externally via "/usr/bin/time -v" to make sure everything /usr/bin/time knows about is reported. Helps with #6 but does not fix it.
- Loading branch information