Overview
| Comment: | string_slice_set_tests: check navigation beyond bounds |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
243b66af9361a019025247f321ea7272 |
| User & Date: | nat on 2013-10-28 19:01:53 |
| Other Links: | manifest | tags |
Context
|
2013-10-29
| ||
| 22:51 | string_slice_set_tests: check positive Find_Slice check-in: 98263a1ce0 user: nat tags: trunk | |
|
2013-10-28
| ||
| 19:01 | string_slice_set_tests: check navigation beyond bounds check-in: 243b66af93 user: nat tags: trunk | |
|
2013-10-27
| ||
| 15:49 | string_slice_set_tests: check reduction operations check-in: 5ac45318fd user: nat tags: trunk | |
Changes
Modified tests/natools-string_slice_set_tests.adb from [931b1d762f] to [c12cd4c68b].
| ︙ | |||
867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 | 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 | + + + + + + + + + + + + + + + + + + |
Report.Item (Name, NT.Fail);
Report.Info
("First index is" & Integer'Image (Index)
& ", expected" & Integer'Image (Parent_String'First));
Dump (Report, Set);
return;
end if;
if Set.Previous (Index) /= 0 then
Report.Item (Name, NT.Fail);
Report.Info
("Unexpected predecessor of First: "
& Integer'Image (Set.Previous (Index)));
Dump (Report, Set);
return;
end if;
if Set_Last /= Parent_String'Last then
Report.Item (Name, NT.Fail);
Report.Info
("Last index is" & Integer'Image (Set_Last)
& ", expected" & Integer'Image (Parent_String'Last));
Dump (Report, Set);
return;
end if;
if Set.Next (Set_Last) /= 0 then
Report.Item (Name, NT.Fail);
Report.Info
("Unexpected successor of Last: "
& Integer'Image (Set.Next (Set_Last)));
Dump (Report, Set);
return;
end if;
loop
if Set.Element (Index) /= Parent_String (Index) then
Report.Item (Name, NT.Fail);
Report.Info
("Content mismatch at" & Integer'Image (Index)
& ": " & Character'Image (Set.Element (Index))
|
| ︙ |