Timing
This section of the manual describes the Timing module.
ReachabilityBase.Timing — ModuleTimingThis module provides timing-related functionality.
ReachabilityBase.Timing.print_timed — Functionprint_timed(stats::NamedTuple; [io]::IO=stdout)Print the result of a @timed call.
Input
stats– the result of a@timedcallio– (optional; default:stdout) where the output is written (ignored prior to Julia v1.10)