util/sim: Minor improvements

util/sim/simulate.py

@@ -213,10 +213,7 @@ def print_test_summary(failed_tests, args):
             print(f'{colored("All tests passed!", "green")}')
 
 
-def run_tests(args):
-
-    # Get tests from testlist
-    tests = get_tests(args.testlist)
+def run_tests(tests, args):
 
     # Create a process Pool
     with multiprocessing.Pool(args.n_procs) as pool:
@@ -265,8 +262,9 @@ def completion_callback(return_value):
 
 def main():
     args = parse_args()
-    sys.exit(run_tests(args))
+    tests = get_tests(args.testlist)
+    return run_tests(tests, args)
 
 
 if __name__ == '__main__':
-    main()
+    sys.exit(main())

util/sim/verification.py

@@ -28,8 +28,8 @@ def parse_args():
         help='The Snitch binary to be executed by the simulated Snitch hardware')
     parser.add_argument(
         '--symbols-bin',
-        help='An optional binary containing the I/O symbols. By default,'
-             'these are searched for in snitch_bin. This argument serves as an'
+        help='An optional binary containing the I/O symbols. By default, '
+             'these are searched for in snitch_bin. This argument serves as an '
              'alternative.')
     parser.add_argument(
         '--log',