.. AUTO-GENERATED by extract_odm_strings.py! DO NOT EDIT! If you want to add more details to a command, edit a .rst file in arguments_edit/.rst .. _time: time ```` Generates a benchmark file with runtime info. Default: ``False`` `Learn to edit `_ and help improve `this page `_!