Skip to content

Commit 1e4bde7

Browse files
committed
Merge branch 'mr/thevenoux-langkit-query-language#568' into 'master'
gnatcheck test driver: fix worker refiner See merge request eng/libadalang/langkit-query-language!566
2 parents 5b54f68 + fc58ba5 commit 1e4bde7

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

testsuite/drivers/gnatcheck_driver.py

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@
88

99
from e3.testsuite.driver.diff import (
1010
PatternSubstitute,
11+
Substitute,
1112
OutputRefiner,
1213
)
1314

@@ -686,15 +687,16 @@ def parse_flagged_lines(self, output: str, format: str) -> dict[str, TaggedLines
686687

687688
@property
688689
def output_refiners(self) -> list[OutputRefiner]:
690+
print(self.working_dir())
689691
result = []
690692
# Canonicalize gnatcheck worker name in the output before applying
691693
# base_driver refiners.
692694
if self.test_env.get("canonicalize_worker", True):
693695
result.append(
694-
PatternSubstitute(
696+
Substitute(
695697
" ".join(
696698
[
697-
P.basename(self.gnatcheck_worker_exe[0]),
699+
P.basename(self.gnatcheck_worker_exe[0]).rsplit('.', maxsplit=1)[0],
698700
*self.gnatcheck_worker_exe[1:],
699701
]
700702
),

0 commit comments

Comments
 (0)