Merge branch 'fix_test_filtering_241' into '24.1'

Fix test filtering for lines starting from same digit

See merge request eng/ide/libadalang-tools!176

src/test-mapping.adb

@@ -587,7 +587,7 @@ package body Test.Mapping is
                            (if Put_If then "if" else "elsif")
                            & " Starts_With (SLOC, """
                            & Src & ":" & Trim (TC.Line'Img, Both)
-                           & """) then");
+                           & ":"") then");
                         if TC.Origin in Gnattest_Generated
                           | Test_Case_Generated
                         then

testsuite/tests/test/filtering_same_fisrt_digit_sloc/pkg.ads

@@ -0,0 +1,23 @@
+package Pkg is
+   function Foo return Integer is (1);
+   --
+   --
+   --
+   --
+   --
+   --
+   --
+   --
+   --
+   --
+   --
+   --
+   --
+   --
+   --
+   --
+   --
+   --
+   --
+   function Bar return Integer is (2);
+end Pkg;

testsuite/tests/test/filtering_same_fisrt_digit_sloc/simple.gpr

@@ -0,0 +1,5 @@
+project simple is
+   package GNATTest is
+      for Harness_Dir use "h";
+   end GNATTest;
+end simple;

testsuite/tests/test/filtering_same_fisrt_digit_sloc/test.out

@@ -0,0 +1,6 @@
+line 2
+pkg.ads:2:4: error: corresponding test FAILED: Test not implemented. (pkg-test_data-tests.adb:44)
+1 tests run: 0 passed; 1 failed; 0 crashed.
+line 22
+pkg.ads:22:4: error: corresponding test FAILED: Test not implemented. (pkg-test_data-tests.adb:65)
+1 tests run: 0 passed; 1 failed; 0 crashed.

testsuite/tests/test/filtering_same_fisrt_digit_sloc/test.sh

@@ -0,0 +1,6 @@
+gnattest -P simple -q
+gprbuild -q -P h/test_driver.gpr
+echo "line 2"
+h/test_runner --routines=pkg.ads:2
+echo "line 22"
+h/test_runner --routines=pkg.ads:22

testsuite/tests/test/filtering_same_fisrt_digit_sloc/test.yaml

@@ -0,0 +1,4 @@
+description:
+    gnattest test
+
+driver: shell_script