minor refactors

xdsl/xdsl_opt_main.py

@@ -71,9 +71,6 @@ def run(self):
         Executes the different steps.
         """
         if self.args.generate_coverage:
-            # TODO: In a perfect world, this could be loaded from `.coveragerc`,
-            # the configuration file used for pytest. However, it turns out that
-            # lit behaves weirdly making this hard to achieve.
             cov = coverage.Coverage(config_file=self.args.coverage_config,
                                     auto_data=True,
                                     data_file='.coverage',
@@ -176,11 +173,14 @@ def register_all_arguments(self, arg_parser: argparse.ArgumentParser):
             action='store_true',
             help="Generate the xDSL code coverage for this run.")
 
-        arg_parser.add_argument("--coverage-config",
-                                type=str,
-                                default=False,
-                                required=False,
-                                help="Link to the coverage config file.")
+        arg_parser.add_argument(
+            "--coverage-config",
+            type=str,
+            default=False,
+            required=False,
+            help=
+            "Link to the coverage config file. This flag only takes effect if `--generate-config` was specified."
+        )
 
     def register_all_dialects(self):
         """