Skip to content

Commit 57ea3b1

Browse files
committed
Remove the 'rule_list_file' attribute from the GNATcheck testing driver
Do this since we now have dedicated Python functions.
1 parent 4429426 commit 57ea3b1

File tree

1 file changed

+0
-15
lines changed

1 file changed

+0
-15
lines changed

testsuite/drivers/gnatcheck_driver.py

Lines changed: 0 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -95,8 +95,6 @@ class GnatcheckDriver(BaseDriver):
9595
to gnatcheck.
9696
- ``rules_dirs`` (list[str]): A list of directories to pass to gnatcheck
9797
as rule containing directories.
98-
- ``rule_list_file``: If provided, read the given rule file and add its
99-
sorted content to the test output.
10098
- ``extra_rule_options`` (list[str]): Extra arguments for the rules
10199
section.
102100
@@ -605,19 +603,6 @@ def run_one_test(test_data: dict[str, any]) -> None:
605603
# Add the execution output to the test output
606604
self.output += exec_output + report_file_content
607605

608-
# If requested, add a list of enabled rules to the test output
609-
if test_data.get("rule_list_file", None):
610-
try:
611-
with open(
612-
self.working_dir(test_data["rule_list_file"]), "r"
613-
) as f:
614-
self.output += "".join(sorted(f.readlines()))
615-
except FileNotFoundError as _:
616-
self.output += (
617-
"testsuite_driver: Cannot found the rule "
618-
f"list file '{test_data['rule_list_file']}'"
619-
)
620-
621606
if (not brief and status_code not in [0, 1]) or (
622607
brief and status_code != 0
623608
):

0 commit comments

Comments
 (0)