Overview
| Comment: | string_slice_set_tests: new test case showing a bug in Subset |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
7b0c5022d4013eaed6a6f1840934e667 |
| User & Date: | nat on 2013-11-13 19:48:08 |
| Other Links: | manifest | tags |
Context
|
2013-11-14
| ||
| 22:56 | string_slices-slice_sets: fix Subset bug when lower bound is between slices check-in: 5bfb52fc1f user: nat tags: trunk | |
|
2013-11-13
| ||
| 19:48 | string_slice_set_tests: new test case showing a bug in Subset check-in: 7b0c5022d4 user: nat tags: trunk | |
|
2013-11-02
| ||
| 13:59 | indefinite_holders: new package containing an Ada 2005 implementation of Ada 2012 indefinite holders check-in: 6e22289101 user: nat tags: trunk | |
Changes
Modified tests/natools-string_slice_set_tests.adb from [987430bedb] to [0813a89e7d].
| ︙ | ︙ | |||
842 843 844 845 846 847 848 849 850 851 852 853 854 855 |
if Subset.To_String
/= Parent_String (First + 1 .. Middle_First - 2)
then
Info_Fail (Report, Name, Reported, "Expected """
& Parent_String (First + 1 .. Middle_First - 2) & '"');
Dump (Report, Subset);
end if;
end;
if not Reported then
Report.Item (Name, NT.Success);
end if;
exception
when Error : others => Report.Report_Exception (Name, Error);
| > > > > > > > > > > > > > > | 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 |
if Subset.To_String
/= Parent_String (First + 1 .. Middle_First - 2)
then
Info_Fail (Report, Name, Reported, "Expected """
& Parent_String (First + 1 .. Middle_First - 2) & '"');
Dump (Report, Subset);
end if;
Set.Clear;
Set.Include_Slice (20, 23);
Set.Include_Slice (25, 30);
Set.Include_Slice (32, 38);
Subset := Set.Subset (24, 38);
if Subset.To_String
/= Parent_String (25 .. 30) & Parent_String (32 .. 38)
then
Info_Fail (Report, Name, Reported, "Expected """
& Parent_String (25 .. 30) & Parent_String (32 .. 38) & '"');
Dump (Report, Set);
Dump (Report, Subset);
end if;
end;
if not Reported then
Report.Item (Name, NT.Success);
end if;
exception
when Error : others => Report.Report_Exception (Name, Error);
|
| ︙ | ︙ |