Add time tool option to verify (#293)

Author: MasloMaslane

src/sinol_make/__init__.py

@@ -12,7 +12,7 @@
 from sinol_make.task_type.interactive import InteractiveTaskType # noqa
 
 
-__version__ = "1.9.7"
+__version__ = "1.9.8"
 
 
 def configure_parsers():

src/sinol_make/commands/run/__init__.py

@@ -280,8 +280,6 @@ def configure_subparser(self, subparser):
                 After running the solutions, it compares the solutions\' scores with the ones saved in config.yml.'
         )
 
-        default_timetool = 'sio2jail' if sio2jail.sio2jail_supported() else 'time'
-
         parser.add_argument('-s', '--solutions', type=str, nargs='+',
                             help='solutions to be run, for example prog/abc{b,s}*.{cpp,py}')
         parser.add_argument('-t', '--tests', type=str, nargs='+',
@@ -291,8 +289,7 @@ def configure_subparser(self, subparser):
         parser.add_argument('--ml', type=float, help='memory limit for all tests (in MB)')
         parser.add_argument('--hide-memory', dest='hide_memory', action='store_true',
                             help='hide memory usage in report')
-        parser.add_argument('-T', '--time-tool', dest='time_tool', choices=['sio2jail', 'time'],
-                            help=f'tool to measure time and memory usage (default: {default_timetool})')
+        parsers.add_time_tool_argument(parser)
         parser.add_argument('--sio2jail-path', dest='sio2jail_path', type=str,
                             help='path to sio2jail executable (default: `~/.local/bin/sio2jail`)')
         parser.add_argument('-a', '--apply-suggestions', dest='apply_suggestions', action='store_true',

src/sinol_make/commands/verify/__init__.py

@@ -48,6 +48,7 @@ def configure_subparser(self, subparser):
                             help='ignore expected scores from config.yml. When this flag is set, '
                                  'the expected scores are not compared with the actual scores. '
                                  'This flag will be passed to the run command.')
+        parsers.add_time_tool_argument(parser)
         parsers.add_compilation_arguments(parser)
 
     def correct_contest_type(self):

src/sinol_make/helpers/parsers.py

@@ -1,7 +1,7 @@
 import sys
 import argparse
 
-from sinol_make import util
+from sinol_make import util, sio2jail
 from sinol_make.helpers import compiler
 
 
@@ -43,3 +43,9 @@ def add_fsanitize_argument(parser: argparse.ArgumentParser):
     parser.add_argument('-f', '--fsanitize', default=False, action='store_true',
                         help='Use -fsanitize=address,undefined for compilation. Warning: this may fail on some '
                              'systems. Tof fix this, run `sudo sysctl vm.mmap_rnd_bits = 28`.')
+
+
+def add_time_tool_argument(parser: argparse.ArgumentParser):
+    default_timetool = 'sio2jail' if sio2jail.sio2jail_supported() else 'time'
+    parser.add_argument('-T', '--time-tool', dest='time_tool', choices=['sio2jail', 'time'],
+                        help=f'tool to measure time and memory usage (default: {default_timetool})')