gnatcheck test driver: fix worker refiner

Author: thvnx

testsuite/drivers/gnatcheck_driver.py

@@ -8,6 +8,7 @@
 
 from e3.testsuite.driver.diff import (
     PatternSubstitute,
+    Substitute,
     OutputRefiner,
 )
 
@@ -686,15 +687,16 @@ def parse_flagged_lines(self, output: str, format: str) -> dict[str, TaggedLines
 
     @property
     def output_refiners(self) -> list[OutputRefiner]:
+        print(self.working_dir())
         result = []
         # Canonicalize gnatcheck worker name in the output before applying
         # base_driver refiners.
         if self.test_env.get("canonicalize_worker", True):
             result.append(
-                PatternSubstitute(
+                    Substitute(
                     " ".join(
                         [
-                            P.basename(self.gnatcheck_worker_exe[0]),
+                            P.basename(self.gnatcheck_worker_exe[0]).rsplit('.', maxsplit=1)[0],
                             *self.gnatcheck_worker_exe[1:],
                         ]
                     ),