source: tests/list/.expect/dlist-insert-remove.txt @ 0e34a14

ADTast-experimentalpthread-emulation
Last change on this file since 0e34a14 was c2794b2, checked in by Michael Brooks <mlbrooks@…>, 3 years ago

Adding isListed accessor function to new linked list.

  • Property mode set to 100644
File size: 8.9 KB
Line 
1
2~~~~~~~~~~~~~~~~~ Headed List Tests - insert_first ~~~~~~~~~~~~~~~~~~
3
4~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
5Test 4-i:  Modifying Freds on MINE
6~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
7==== fred by MINE before
83.14
9-
103.14
11-
120.5
13-
140.5
15-
16==== fred by YOURS before
173.14
18-
193.14
20-
210.5
22-
230.5
24-
25==== fred by MINE after
263.14
270.5
28-
293.14
30-
310.5
32-
330.5
343.14
35-
36==== fred by YOURS after
373.14
38-
393.14
40-
410.5
42-
430.5
44-
45~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
46Test 5-i:  Modifying Freds on YOURS
47~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
48==== fred by MINE before
493.14
50-
513.14
52-
530.5
54-
550.5
56-
57==== fred by YOURS before
583.14
59-
603.14
61-
620.5
63-
640.5
65-
66==== fred by MINE after
673.14
68-
693.14
70-
710.5
72-
730.5
74-
75==== fred by YOURS after
763.14
770.5
78-
793.14
80-
810.5
82-
830.5
843.14
85-
86~~~~~~~~~~~~~~~~~~~~~~~~~~~
87Test 6-i.  Modifying Maries
88~~~~~~~~~~~~~~~~~~~~~~~~~~~
89==== mary before
903.14
91-
923.14
93-
940.5
95-
960.5
97-
98==== mary after
993.14
1000.5
101-
1023.14
103-
1040.5
105-
1060.5
1073.14
108-
109
110~~~~~~~~~~~~~~~~~ Headed List Tests - insert_last ~~~~~~~~~~~~~~~~~~~
111
112~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
113Test 4-ii:  Modifying Freds on MINE
114~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
115==== fred by MINE before
1163.14
117-
1183.14
119-
1200.5
121-
1220.5
123-
124==== fred by YOURS before
1253.14
126-
1273.14
128-
1290.5
130-
1310.5
132-
133==== fred by MINE after
1343.14
1350.5
136-
1373.14
138-
1390.5
140-
1410.5
1423.14
143-
144==== fred by YOURS after
1453.14
146-
1473.14
148-
1490.5
150-
1510.5
152-
153~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
154Test 5-ii:  Modifying Freds on YOURS
155~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
156==== fred by MINE before
1573.14
158-
1593.14
160-
1610.5
162-
1630.5
164-
165==== fred by YOURS before
1663.14
167-
1683.14
169-
1700.5
171-
1720.5
173-
174==== fred by MINE after
1753.14
176-
1773.14
178-
1790.5
180-
1810.5
182-
183==== fred by YOURS after
1843.14
1850.5
186-
1873.14
188-
1890.5
190-
1910.5
1923.14
193-
194~~~~~~~~~~~~~~~~~~~~~~~~~~~~
195Test 6-ii.  Modifying Maries
196~~~~~~~~~~~~~~~~~~~~~~~~~~~~
197==== mary before
1983.14
199-
2003.14
201-
2020.5
203-
2040.5
205-
206==== mary after
2073.14
2080.5
209-
2103.14
211-
2120.5
213-
2140.5
2153.14
216-
217
218~~~~~~~~~~~ Element ops on Headed List Tests: after, last ~~~~~~~~~~~
219
220~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
221Test 7-i.  Modifying Freds on MINE
222~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
223==== fred by MINE after
2243.14
2250.5
226-
2273.14
228-
2290.5
230-
2310.5
2323.14
233-
234==== fred by YOURS after
2353.14
236-
2373.14
238-
2390.5
240-
2410.5
242-
243~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
244Test 8-i.  Modifying Freds on YOURS
245~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
246==== fred by MINE after
2473.14
248-
2493.14
250-
2510.5
252-
2530.5
254-
255==== fred by YOURS after
2563.14
2570.5
258-
2593.14
260-
2610.5
262-
2630.5
2643.14
265-
266~~~~~~~~~~~~~~~~~~~~~~~~~~
267Test 9-i.  Modifying Maries
268~~~~~~~~~~~~~~~~~~~~~~~~~~
269==== mary after
2703.14
2710.5
272-
2733.14
274-
2750.5
276-
2770.5
2783.14
279-
280
281~~~~~~~~~~ Element ops on Headed List Tests: before, first ~~~~~~~~~~
282
283~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
284Test 7-ii.  Modifying Freds on MINE
285~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
286==== fred by MINE after
2873.14
2880.5
289-
2903.14
291-
2920.5
293-
2940.5
2953.14
296-
297==== fred by YOURS after
2983.14
299-
3003.14
301-
3020.5
303-
3040.5
305-
306~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
307Test 8-ii.  Modifying Freds on YOURS
308~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
309==== fred by MINE after
3103.14
311-
3123.14
313-
3140.5
315-
3160.5
317-
318==== fred by YOURS after
3193.14
3200.5
321-
3223.14
323-
3240.5
325-
3260.5
3273.14
328-
329~~~~~~~~~~~~~~~~~~~~~~~~~~~~
330Test 9-ii.  Modifying Maries
331~~~~~~~~~~~~~~~~~~~~~~~~~~~~
332==== mary after
3333.14
3340.5
335-
3363.14
337-
3380.5
339-
3400.5
3413.14
342-
343
344~~~~~~~~~~ Element removal tests on Headed List: at first ~~~~~~~~~~
345
346~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
347Test 13-i.  Modifying Freds on MINE
348~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
349==== fred by MINE before
3501.7
3512.7
3523.7
353-
3541.7
355-
3563.7
357-
3583.7
3592.7
3601.7
361-
362==== fred by YOURS before
3631.7
3642.7
3653.7
366-
3671.7
368-
3693.7
370-
3713.7
3722.7
3731.7
374-
375==== fred by MINE after
3762.7
3773.7
378-
3792.7
380-
3813.7
382-
3833.7
3842.7
385-
386==== fred by YOURS after
3871.7
3882.7
3893.7
390-
3911.7
392-
3933.7
394-
3953.7
3962.7
3971.7
398-
399==== fred by MINE after
4001.7
401-
4021.7
403-
404-
405-
406~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
407Test 14-i.  Modifying Freds on YOURS
408~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
409==== fred by MINE before
4101.7
4112.7
4123.7
413-
4141.7
415-
4163.7
417-
4183.7
4192.7
4201.7
421-
422==== fred by YOURS before
4231.7
4242.7
4253.7
426-
4271.7
428-
4293.7
430-
4313.7
4322.7
4331.7
434-
435==== fred by MINE after
4361.7
4372.7
4383.7
439-
4401.7
441-
4423.7
443-
4443.7
4452.7
4461.7
447-
448==== fred by YOURS after
4492.7
4503.7
451-
4522.7
453-
4543.7
455-
4563.7
4572.7
458-
459==== fred by YOURS after
4601.7
461-
4621.7
463-
464-
465-
466~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
467Test 15-i.  Modifying Maries
468~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
469==== mary before
4701.7
4712.7
4723.7
473-
4741.7
475-
4763.7
477-
4783.7
4792.7
4801.7
481-
482==== mary after
4832.7
4843.7
485-
4862.7
487-
4883.7
489-
4903.7
4912.7
492-
493==== mary after
4941.7
495-
4961.7
497-
498-
499-
500
501~~~~~~~~~~ Element removal tests on Headed List: at last ~~~~~~~~~~
502
503~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
504Test 13-ii.  Modifying Freds on MINE
505~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
506==== fred by MINE before
5071.7
5082.7
5093.7
510-
5111.7
512-
5133.7
514-
5153.7
5162.7
5171.7
518-
519==== fred by YOURS before
5201.7
5212.7
5223.7
523-
5241.7
525-
5263.7
527-
5283.7
5292.7
5301.7
531-
532==== fred by MINE after
5331.7
5342.7
535-
5361.7
537-
5382.7
539-
5402.7
5411.7
542-
543==== fred by YOURS after
5441.7
5452.7
5463.7
547-
5481.7
549-
5503.7
551-
5523.7
5532.7
5541.7
555-
556==== fred by MINE after
5573.7
558-
5593.7
560-
561-
562-
563~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
564Test 14-ii.  Modifying Freds on YOURS
565~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
566==== fred by MINE before
5671.7
5682.7
5693.7
570-
5711.7
572-
5733.7
574-
5753.7
5762.7
5771.7
578-
579==== fred by YOURS before
5801.7
5812.7
5823.7
583-
5841.7
585-
5863.7
587-
5883.7
5892.7
5901.7
591-
592==== fred by MINE after
5931.7
5942.7
5953.7
596-
5971.7
598-
5993.7
600-
6013.7
6022.7
6031.7
604-
605==== fred by YOURS after
6061.7
6072.7
608-
6091.7
610-
6112.7
612-
6132.7
6141.7
615-
616==== fred by YOURS after
6173.7
618-
6193.7
620-
621-
622-
623~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
624Test 15-ii.  Modifying Maries
625~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
626==== mary before
6271.7
6282.7
6293.7
630-
6311.7
632-
6333.7
634-
6353.7
6362.7
6371.7
638-
639==== mary after
6401.7
6412.7
642-
6431.7
644-
6452.7
646-
6472.7
6481.7
649-
650==== mary after
6513.7
652-
6533.7
654-
655-
656-
657
658~~~~~~~~~~ Element removal tests on Headed List: of sole ~~~~~~~~~~
659
660~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
661Test 13-iii.  Modifying Freds on MINE
662~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
663==== fred by MINE before
6640.7
665-
6660.7
667-
6680.7
669-
6700.7
671-
672==== fred by YOURS before
6730.7
674-
6750.7
676-
6770.7
678-
6790.7
680-
681==== fred by YOURS after
6820.7
683-
6840.7
685-
6860.7
687-
6880.7
689-
690==== fred by MINE after
6910.7
692-
6930.7
694-
695-
696-
697==== fred by MINE after
6980.7
699-
7000.7
701-
7020.7
703-
7040.7
705-
706~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
707Test 14-iii.  Modifying Freds on YOURS
708~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
709==== fred by MINE before
7100.7
711-
7120.7
713-
7140.7
715-
7160.7
717-
718==== fred by YOURS before
7190.7
720-
7210.7
722-
7230.7
724-
7250.7
726-
727==== fred by YOURS after
7280.7
729-
7300.7
731-
7320.7
733-
7340.7
735-
736==== fred by YOURS after
7370.7
738-
7390.7
740-
741-
742-
743==== fred by YOURS after
7440.7
745-
7460.7
747-
7480.7
749-
7500.7
751-
752~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
753Test 15-iii.  Modifying Maries
754~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
755==== mary before
7560.7
757-
7580.7
759-
7600.7
761-
7620.7
763-
764==== mary after
7650.7
766-
7670.7
768-
769-
770-
771==== mary after
7720.7
773-
7740.7
775-
7760.7
777-
7780.7
779-
780
781~~~~~~~~~~ End removal tests on Headed List: First ~~~~~~~~~~
782
783~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
784Test 16-i.  Modifying Freds on MINE
785~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
786==== fred by MINE before
7871.7
7882.7
7893.7
790-
7911.7
792-
7933.7
794-
7953.7
7962.7
7971.7
798-
799==== fred by YOURS before
8001.7
8012.7
8023.7
803-
8041.7
805-
8063.7
807-
8083.7
8092.7
8101.7
811-
812==== fred by MINE after
8132.7
8143.7
815-
8162.7
817-
8183.7
819-
8203.7
8212.7
822-
823==== fred by YOURS after
8241.7
8252.7
8263.7
827-
8281.7
829-
8303.7
831-
8323.7
8332.7
8341.7
835-
836==== fred by MINE after
8371.7
838-
8391.7
840-
841-
842-
843~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
844Test 16-ii.  Modifying Freds on YOURS
845~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
846==== fred by MINE before
8471.7
8482.7
8493.7
850-
8511.7
852-
8533.7
854-
8553.7
8562.7
8571.7
858-
859==== fred by YOURS before
8601.7
8612.7
8623.7
863-
8641.7
865-
8663.7
867-
8683.7
8692.7
8701.7
871-
872==== fred by MINE after
8731.7
8742.7
8753.7
876-
8771.7
878-
8793.7
880-
8813.7
8822.7
8831.7
884-
885==== fred by YOURS after
8862.7
8873.7
888-
8892.7
890-
8913.7
892-
8933.7
8942.7
895-
896==== fred by YOURS after
8971.7
898-
8991.7
900-
901-
902-
903~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
904Test 16-iii.  Modifying Maries
905~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
906==== mary before
9071.7
9082.7
9093.7
910-
9111.7
912-
9133.7
914-
9153.7
9162.7
9171.7
918-
919==== mary after
9202.7
9213.7
922-
9232.7
924-
9253.7
926-
9273.7
9282.7
929-
930==== mary after
9311.7
932-
9331.7
934-
935-
936-
937
938~~~~~~~~~~ End removal tests on Headed List: Last ~~~~~~~~~~
939
940~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
941Test 17-i.  Modifying Freds on MINE
942~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
943==== fred by MINE before
9441.7
9452.7
9463.7
947-
9481.7
949-
9503.7
951-
9523.7
9532.7
9541.7
955-
956==== fred by YOURS before
9571.7
9582.7
9593.7
960-
9611.7
962-
9633.7
964-
9653.7
9662.7
9671.7
968-
969==== fred by MINE after
9701.7
9712.7
972-
9731.7
974-
9752.7
976-
9772.7
9781.7
979-
980==== fred by YOURS after
9811.7
9822.7
9833.7
984-
9851.7
986-
9873.7
988-
9893.7
9902.7
9911.7
992-
993==== fred by MINE after
9943.7
995-
9963.7
997-
998-
999-
1000~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1001Test 17-ii.  Modifying Freds on YOURS
1002~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1003==== fred by MINE before
10041.7
10052.7
10063.7
1007-
10081.7
1009-
10103.7
1011-
10123.7
10132.7
10141.7
1015-
1016==== fred by YOURS before
10171.7
10182.7
10193.7
1020-
10211.7
1022-
10233.7
1024-
10253.7
10262.7
10271.7
1028-
1029==== fred by MINE after
10301.7
10312.7
10323.7
1033-
10341.7
1035-
10363.7
1037-
10383.7
10392.7
10401.7
1041-
1042==== fred by YOURS after
10431.7
10442.7
1045-
10461.7
1047-
10482.7
1049-
10502.7
10511.7
1052-
1053==== fred by YOURS after
10543.7
1055-
10563.7
1057-
1058-
1059-
1060~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1061Test 17-iii.  Modifying Maries
1062~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1063==== mary before
10641.7
10652.7
10663.7
1067-
10681.7
1069-
10703.7
1071-
10723.7
10732.7
10741.7
1075-
1076==== mary after
10771.7
10782.7
1079-
10801.7
1081-
10822.7
1083-
10842.7
10851.7
1086-
1087==== mary after
10883.7
1089-
10903.7
1091-
1092-
1093-
1094
1095~~~~~~~~~~~~~~~~~~~ Ease-of-access cases ~~~~~~~~~~~~~~~~~~
1096
1097~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1098Test 18-i.  Modifying Freds on MINE
1099~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1100Not implmented
1101~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1102Test 18-ii.  Modifying Freds on YOURS
1103~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1104Not implmented
1105~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1106Test 18-iii.  Modifying Maries
1107~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1108accessor_cases done
1109try_pop cases done
1110origin_mutation cases done
1111isListed cases done
Note: See TracBrowser for help on using the repository browser.