Merge branch 'mr/pmderodat/gpr2-leak' into 'master'

ada_api/app/gpr_missing_dirs/gpr2-*: add XFAIL under valgrind See merge request eng/libadalang/libadalang!1708
AdaCore · Jul 23, 2024 · e8d0aca · e8d0aca
2 parents d533094 + bfc4df1
commit e8d0aca
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/testsuite/tests/ada_api/app/gpr_missing_dirs/gpr2-no-warn/test.yaml b/testsuite/tests/ada_api/app/gpr_missing_dirs/gpr2-no-warn/test.yaml
@@ -1,3 +1,5 @@
 driver: ada-api
 main: main.adb
 argv: [-Pp.gpr, --gpr2]
+control:
+  - [XFAIL, "valgrind", "Pending resolution of eng/gpr/gpr-issues#350"]
diff --git a/testsuite/tests/ada_api/app/gpr_missing_dirs/gpr2-warn/test.yaml b/testsuite/tests/ada_api/app/gpr_missing_dirs/gpr2-warn/test.yaml
@@ -1,3 +1,5 @@
 driver: ada-api
 main: main.adb
 argv: [-Pp.gpr, --gpr2]
+control:
+  - [XFAIL, "valgrind", "Pending resolution of eng/gpr/gpr-issues#350"]