Merge branch 'mr/thevenoux/gnatcheck#67' into 'master'

thvnx · thvnx · commit be41f7925d25 · 2025-12-04T14:08:25.000Z
gnatcheck driver: make version output refiner release candidate compatible

Closes eng/codepeer/gnatcheck#67

See merge request eng/libadalang/langkit-query-language!604
diff --git a/testsuite/drivers/gnatcheck_driver.py b/testsuite/drivers/gnatcheck_driver.py
@@ -711,7 +711,7 @@ def output_refiners(self) -> list[OutputRefiner]:
         # Remove version information printed by gnatcheck in verbose mode
         result.append(
             PatternSubstitute(
-                "gnatcheck [0-9]+.[0-9]w \\([a-z0-9 ]+\\)",
+                "gnatcheck [0-9]+.[0-9](rc|w) \\([a-z0-9 ]+\\)",
                 "gnatcheck <version> (<date>)",
             )
         )

Original file line number	Diff line number	Diff line change
`@@ -711,7 +711,7 @@ def output_refiners(self) -> list[OutputRefiner]:`
`711`	`711`	`# Remove version information printed by gnatcheck in verbose mode`
`712`	`712`	`result.append(`
`713`	`713`	`PatternSubstitute(`
`714`		`- "gnatcheck [0-9]+.[0-9]w \\([a-z0-9 ]+\\)",`
	`714`	`+ "gnatcheck [0-9]+.[0-9](rc\|w) \\([a-z0-9 ]+\\)",`
`715`	`715`	`"gnatcheck <version> (<date>)",`
`716`	`716`	`)`
`717`	`717`	`)`