Jeremy Metz <metz...@gmail.com> added the comment:
More specifically, #6422 also mentions at least in part this functionality, but
the main focus there seems to be the autorange function.
Propose splitting these two by reopening th
Jeremy Metz <metz...@gmail.com> added the comment:
Don't understand how #6422 addresses this - would also like to see a more
convenient API for timing; at present CLI gives a nice formatted output, and
timeit.timeit gives just the raw timing in seconds.
Would be easy to implement by
