I am using GNU time for benchmarking and would like to measure real, user and sys time to the nearest millisecond. That is, I want to measure seconds to 3 decimal places, not the default 2. Does GNU time offer such an option?
Asked by Jacob Baird
(11 rep)
Aug 16, 2019, 03:44 PM
Last activity: Jun 7, 2025, 03:05 PM
Last activity: Jun 7, 2025, 03:05 PM