Merge branch 'topic/sorted_list_dir' into 'master'

Sort the result of the 'list_dirs' gnatcheck driver option See merge request eng/libadalang/langkit-query-language!186
AdaCore · Mar 21, 2024 · 12a0060 · 12a0060
2 parents b66a388 + e87ca3c
commit 12a0060
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/testsuite/drivers/gnatcheck_driver.py b/testsuite/drivers/gnatcheck_driver.py
@@ -397,7 +397,7 @@ def run_one_test(test_data: dict[str, any]) -> None:
                     for dir_name in test_data['list_dirs']:
                         self.output += (
                             f"Content of {dir_name} : "
-                            f"{os.listdir(self.working_dir(dir_name))}\n"
+                            f"{sorted(os.listdir(self.working_dir(dir_name)))}\n"
                         )
 
             # If python code to be executed post running gnatcheck was passed

diff --git a/testsuite/tests/gnatcheck/subdirs/test.out b/testsuite/tests/gnatcheck/subdirs/test.out
@@ -9,4 +9,4 @@ main.adb:3:05: goto statement
 main.adb:6:05: error: "Put_Line" is undefined
 main.adb:6:05: error: possible missing "with Ada.Text_IO; use Ada.Text_IO"
    no internal error detected
-Content of custom_subdirs/gnatcheck : ['restriction_pragmas.adc', 'main.adb.stderr', 'main.adb.stdout']
+Content of custom_subdirs/gnatcheck : ['main.adb.stderr', 'main.adb.stdout', 'restriction_pragmas.adc']