Allow boolean value for the 'output_file' attribute

Passing 'False' to this field allow to disable the output file passing.

Author: HugoGGuerrier

testsuite/drivers/gnatcheck_driver.py

@@ -83,8 +83,10 @@ class GnatcheckDriver(BaseDriver):
           provided file.
         - ``ignore_file`` (str): If passed, ignore all sources listed in the
           provided file.
-        - ``output_file`` (str): The file to pass to GNATcheck with the `-o` or
-          `-ox` option then to read the output in.
+        - ``output_file`` (str | bool): The file to pass to GNATcheck with the
+          `-o` or `-ox` option then to read the output in. If this attribute
+          is ``False``, no output file option is passed to GNATcheck and the
+          GNATcheck output file is not analyzed.
         - ``gpr_config_file`` (str): A GPR configuration file to pass through
           the '--config' option.
         - ``scenario_variables`` (dict[str, str]): Dict containing key to value
@@ -408,11 +410,11 @@ def run_one_test(test_data: dict[str, any]) -> None:
             brief = output_format == "brief"
             exe = GnatcheckDriver.modes[test_data.get("mode", "gnatcheck")]
             args = [exe, "-q"]
-            output_file_name = self.working_dir(
-                test_data.get(
-                    "output_file", f"{exe}.{'xml' if output_format == 'xml' else 'out'}"
-                )
-            )
+            output_file_name = test_data.get("output_file")
+            if output_file_name is None or output_file_name == True:
+                output_file_name = self.working_dir(f"{exe}.{'xml' if output_format == 'xml' else 'out'}")
+            elif output_file_name:
+                output_file_name = self.working_dir(output_file_name)
             test_env = dict(gnatcheck_env)
 
             pre_python = test_data.get("pre_python", None)
@@ -476,10 +478,11 @@ def run_one_test(test_data: dict[str, any]) -> None:
                 args += ["--subdirs", test_data["subdirs"]]
 
             # Set the output file path according to the requested format
-            if output_format in ["short", "full"]:
-                args.append(f"-o={output_file_name}")
-            elif output_format == "xml":
-                args.append(f"-ox={output_file_name}")
+            if output_file_name:
+                if output_format in ["short", "full"]:
+                    args.append(f"-o={output_file_name}")
+                elif output_format == "xml":
+                    args.append(f"-ox={output_file_name}")
 
             # Add the include file if any
             include_file = test_data.get("include_file", None)
@@ -602,8 +605,8 @@ def run_one_test(test_data: dict[str, any]) -> None:
 
                 # Then read GNATcheck report file if there is one
                 report_file_content = ""
-                parse_output_for_flags = True
-                if output_format in ["full", "short", "xml"]:
+                has_output_file = False
+                if output_file_name and output_format in ["full", "short", "xml"]:
                     try:
                         with open(output_file_name) as f:
                             if output_format in ["short", "xml"]:
@@ -622,14 +625,14 @@ def run_one_test(test_data: dict[str, any]) -> None:
                                 # run-specific information that we don't want to
                                 # include in the test baseline.
                                 report_file_content = "".join(f.readlines()[9:])
+                            has_output_file = True
                     except FileNotFoundError as _:
                         self.output += (
                             "testsuite_driver: No output file generated by gnatcheck\n"
                         )
-                        parse_output_for_flags = False
 
                 # Get the lines flagged by the test running and add it to all flagged lines
-                if self.flag_checking and parse_output_for_flags:
+                if self.flag_checking and (has_output_file or output_format == "brief"):
                     add_to_files_flagged_lines(
                         self.parse_flagged_lines(
                             (