Merge branch 'eyraud/313' into 'master'

Jugst3r · Jugst3r · commit 92e76166cd65 · 2025-03-27T10:48:09.000Z
Add tolerated coverage message

See merge request eng/das/cov/gnatcoverage!802

For eng/das/cov/gnatcoverage#313
diff --git a/testsuite/tests/R404-023-object-stats/test.py b/testsuite/tests/R404-023-object-stats/test.py
@@ -19,6 +19,7 @@
         "../main.trace.asset",
     ],
     out="asm-report.txt",
+    tolerate_messages="executable file .* does not seem to match trace file",
 )
 lines = lines_of("asm-report.txt")
 

Original file line number	Diff line number	Diff line change
`@@ -19,6 +19,7 @@`
`19`	`19`	`"../main.trace.asset",`
`20`	`20`	`],`
`21`	`21`	`out="asm-report.txt",`
	`22`	`+ tolerate_messages="executable file .* does not seem to match trace file",`
`22`	`23`	`)`
`23`	`24`	`lines = lines_of("asm-report.txt")`
`24`	`25`