This tool could optionally get a command line as parameter, and in this case it should execute the command line, wait for termination of the process, and then print the measurement results (just like the tool time does).
This would make it useful for human users and not only benchmarking frameworks.
This tool could optionally get a command line as parameter, and in this case it should execute the command line, wait for termination of the process, and then print the measurement results (just like the tool
time
does). This would make it useful for human users and not only benchmarking frameworks.