Merge branch 'topic/1507' into 'master'

Update gnatcompare baseline following GNAT fix. See merge request eng/libadalang/libadalang!1878
AdaCore · Dec 13, 2024 · a27a28a · a27a28a
2 parents 9ed4ffc + e995b7a
commit a27a28a
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/testsuite/tests/name_resolution/gnat_compare_synthetic_neq/test.out b/testsuite/tests/name_resolution/gnat_compare_synthetic_neq/test.out
@@ -5,7 +5,6 @@ test.adb:6:24 => test.adb:6:17 (LAL: ok)
 test.adb:6:28 => test.adb:3:12 (LAL: ok)
 test.adb:7:8 => test.adb:2:12 (LAL: ok)
 test.adb:8:17 => test.adb:2:12 (LAL: ok)
-test.adb:10:16 => test.adb:6:17 (LAL: missing)
 test.adb:10:17 => test.adb:6:17 (LAL: ok)
 test.adb:10:28 => test.adb:3:12 (LAL: ok)
 test.adb:11:8 => test.adb:2:12 (LAL: ok)
@@ -17,10 +16,10 @@ test.adb:17:12 => test.adb:15:7 (LAL: ok)
 test.adb:20:5 => test.adb:1:11 (LAL: ok)
 
 Stats:
-GNAT xrefs have 16 entries
+GNAT xrefs have 15 entries
 LAL xrefs have:
-  * 15 OK entries (93.75%)
+  * 15 OK entries (100.00%)
   * 0 DIFFERENT entries (0.00%)
   * 0 ERROR entries (0.00%)
-  * 1 MISSING entries (6.25%)
+  * 0 MISSING entries (0.00%)
   * 0 ADDITIONAL entries (0.00%)