ada_api/source_files: add debug output in case of GPR1/GPR2 mismatch

AdaCore · Jul 1, 2024 · a705953 · a705953
1 parent 90bb629
commit a705953
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/testsuite/tests/ada_api/source_files/main.adb b/testsuite/tests/ada_api/source_files/main.adb
@@ -156,6 +156,14 @@ procedure Main is
             end if;
 
             if GPR1_Sources /= GPR2_Sources then
+               Put_Line ("With GPR1:");
+               for F of GPR1_Sources loop
+                  Put_Line ("  " & To_String (F));
+               end loop;
+               Put_Line ("With GPR2:");
+               for F of GPR2_Sources loop
+                  Put_Line ("  " & To_String (F));
+               end loop;
                raise Program_Error with "got different sources with GPR2";
             end if;
          end;