Context Navigation

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

Visit:

ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum

Last change on this file since d2fadeb was f2d05e9, checked in by Michael Brooks <mlbrooks@…>, 6 years ago
Dlist API getting pop_first, pop_last, ?`is_empty on the list head.
Property mode set to `100644`
File size: 13.4 KB

Line
1	~~~~~~~~~~~~~~~~~ Headless List Tests - insert_after ~~~~~~~~~~~~~~~~
2
3	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
4	Test 1-i: Modifying Freds on MINE
5	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
6	==== fred by MINE before
7	3.14
8	-
9	3.14
10	-
11	0.5
12	-
13	0.5
14	-
15	==== fred by YOURS before
16	3.14
17	-
18	3.14
19	-
20	0.5
21	-
22	0.5
23	-
24	==== fred by MINE after
25	3.14
26	0.5
27	-
28	3.14
29	-
30	0.5
31	-
32	0.5
33	3.14
34	-
35	==== fred by YOURS after
36	3.14
37	-
38	3.14
39	-
40	0.5
41	-
42	0.5
43	-
44	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
45	Test 2-i. Modifying Freds on YOURS
46	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
47	==== fred by MINE before
48	3.14
49	-
50	3.14
51	-
52	0.5
53	-
54	0.5
55	-
56	==== fred by YOURS before
57	3.14
58	-
59	3.14
60	-
61	0.5
62	-
63	0.5
64	-
65	==== fred by MINE after
66	3.14
67	-
68	3.14
69	-
70	0.5
71	-
72	0.5
73	-
74	==== fred by YOURS after
75	3.14
76	0.5
77	-
78	3.14
79	-
80	0.5
81	-
82	0.5
83	3.14
84	-
85	~~~~~~~~~~~~~~~~~~~~~~~~~~~
86	Test 3-i. Modifying Maries
87	~~~~~~~~~~~~~~~~~~~~~~~~~~~
88	==== mary before
89	3.14
90	-
91	3.14
92	-
93	0.5
94	-
95	0.5
96	-
97	==== mary after
98	3.14
99	0.5
100	-
101	3.14
102	-
103	0.5
104	-
105	0.5
106	3.14
107	-
108
109	~~~~~~~~~~~~~~~~ Headless List Tests - insert_before ~~~~~~~~~~~~~~~~
110
111	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
112	Test 1-ii: Modifying Freds on MINE
113	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
114	==== fred by MINE before
115	3.14
116	-
117	3.14
118	-
119	0.5
120	-
121	0.5
122	-
123	==== fred by YOURS before
124	3.14
125	-
126	3.14
127	-
128	0.5
129	-
130	0.5
131	-
132	==== fred by MINE after
133	3.14
134	0.5
135	-
136	3.14
137	-
138	0.5
139	-
140	0.5
141	3.14
142	-
143	==== fred by YOURS after
144	3.14
145	-
146	3.14
147	-
148	0.5
149	-
150	0.5
151	-
152	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
153	Test 2-ii. Modifying Freds on YOURS
154	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
155	==== fred by MINE before
156	3.14
157	-
158	3.14
159	-
160	0.5
161	-
162	0.5
163	-
164	==== fred by YOURS before
165	3.14
166	-
167	3.14
168	-
169	0.5
170	-
171	0.5
172	-
173	==== fred by MINE after
174	3.14
175	-
176	3.14
177	-
178	0.5
179	-
180	0.5
181	-
182	==== fred by YOURS after
183	3.14
184	0.5
185	-
186	3.14
187	-
188	0.5
189	-
190	0.5
191	3.14
192	-
193	~~~~~~~~~~~~~~~~~~~~~~~~~~~~
194	Test 3-ii. Modifying Maries
195	~~~~~~~~~~~~~~~~~~~~~~~~~~~~
196	==== mary before
197	3.14
198	-
199	3.14
200	-
201	0.5
202	-
203	0.5
204	-
205	==== mary after
206	3.14
207	0.5
208	-
209	3.14
210	-
211	0.5
212	-
213	0.5
214	3.14
215	-
216
217	~~~~~~~~~~~~~~~~~ Headed List Tests - insert_first ~~~~~~~~~~~~~~~~~~
218
219	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
220	Test 4-i: Modifying Freds on MINE
221	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
222	==== fred by MINE before
223	3.14
224	-
225	3.14
226	-
227	0.5
228	-
229	0.5
230	-
231	==== fred by YOURS before
232	3.14
233	-
234	3.14
235	-
236	0.5
237	-
238	0.5
239	-
240	==== fred by MINE after
241	3.14
242	0.5
243	-
244	3.14
245	-
246	0.5
247	-
248	0.5
249	3.14
250	-
251	==== fred by YOURS after
252	3.14
253	-
254	3.14
255	-
256	0.5
257	-
258	0.5
259	-
260	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
261	Test 5-i: Modifying Freds on YOURS
262	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
263	==== fred by MINE before
264	3.14
265	-
266	3.14
267	-
268	0.5
269	-
270	0.5
271	-
272	==== fred by YOURS before
273	3.14
274	-
275	3.14
276	-
277	0.5
278	-
279	0.5
280	-
281	==== fred by MINE after
282	3.14
283	-
284	3.14
285	-
286	0.5
287	-
288	0.5
289	-
290	==== fred by YOURS after
291	3.14
292	0.5
293	-
294	3.14
295	-
296	0.5
297	-
298	0.5
299	3.14
300	-
301	~~~~~~~~~~~~~~~~~~~~~~~~~~~
302	Test 6-i. Modifying Maries
303	~~~~~~~~~~~~~~~~~~~~~~~~~~~
304	==== mary before
305	3.14
306	-
307	3.14
308	-
309	0.5
310	-
311	0.5
312	-
313	==== mary after
314	3.14
315	0.5
316	-
317	3.14
318	-
319	0.5
320	-
321	0.5
322	3.14
323	-
324
325	~~~~~~~~~~~~~~~~~ Headed List Tests - insert_last ~~~~~~~~~~~~~~~~~~~
326
327	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
328	Test 4-ii: Modifying Freds on MINE
329	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
330	==== fred by MINE before
331	3.14
332	-
333	3.14
334	-
335	0.5
336	-
337	0.5
338	-
339	==== fred by YOURS before
340	3.14
341	-
342	3.14
343	-
344	0.5
345	-
346	0.5
347	-
348	==== fred by MINE after
349	3.14
350	0.5
351	-
352	3.14
353	-
354	0.5
355	-
356	0.5
357	3.14
358	-
359	==== fred by YOURS after
360	3.14
361	-
362	3.14
363	-
364	0.5
365	-
366	0.5
367	-
368	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
369	Test 5-ii: Modifying Freds on YOURS
370	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
371	==== fred by MINE before
372	3.14
373	-
374	3.14
375	-
376	0.5
377	-
378	0.5
379	-
380	==== fred by YOURS before
381	3.14
382	-
383	3.14
384	-
385	0.5
386	-
387	0.5
388	-
389	==== fred by MINE after
390	3.14
391	-
392	3.14
393	-
394	0.5
395	-
396	0.5
397	-
398	==== fred by YOURS after
399	3.14
400	0.5
401	-
402	3.14
403	-
404	0.5
405	-
406	0.5
407	3.14
408	-
409	~~~~~~~~~~~~~~~~~~~~~~~~~~~~
410	Test 6-ii. Modifying Maries
411	~~~~~~~~~~~~~~~~~~~~~~~~~~~~
412	==== mary before
413	3.14
414	-
415	3.14
416	-
417	0.5
418	-
419	0.5
420	-
421	==== mary after
422	3.14
423	0.5
424	-
425	3.14
426	-
427	0.5
428	-
429	0.5
430	3.14
431	-
432
433	~~~~~~~~~~~ Element ops on Headed List Tests: after, last ~~~~~~~~~~~
434
435	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
436	Test 7-i. Modifying Freds on MINE
437	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
438	==== fred by MINE after
439	3.14
440	0.5
441	-
442	3.14
443	-
444	0.5
445	-
446	0.5
447	3.14
448	-
449	==== fred by YOURS after
450	3.14
451	-
452	3.14
453	-
454	0.5
455	-
456	0.5
457	-
458	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
459	Test 8-i. Modifying Freds on YOURS
460	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
461	==== fred by MINE after
462	3.14
463	-
464	3.14
465	-
466	0.5
467	-
468	0.5
469	-
470	==== fred by YOURS after
471	3.14
472	0.5
473	-
474	3.14
475	-
476	0.5
477	-
478	0.5
479	3.14
480	-
481	~~~~~~~~~~~~~~~~~~~~~~~~~~
482	Test 9-i. Modifying Maries
483	~~~~~~~~~~~~~~~~~~~~~~~~~~
484	==== mary after
485	3.14
486	0.5
487	-
488	3.14
489	-
490	0.5
491	-
492	0.5
493	3.14
494	-
495
496	~~~~~~~~~~ Element ops on Headed List Tests: before, first ~~~~~~~~~~
497
498	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
499	Test 7-ii. Modifying Freds on MINE
500	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
501	==== fred by MINE after
502	3.14
503	0.5
504	-
505	3.14
506	-
507	0.5
508	-
509	0.5
510	3.14
511	-
512	==== fred by YOURS after
513	3.14
514	-
515	3.14
516	-
517	0.5
518	-
519	0.5
520	-
521	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
522	Test 8-ii. Modifying Freds on YOURS
523	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
524	==== fred by MINE after
525	3.14
526	-
527	3.14
528	-
529	0.5
530	-
531	0.5
532	-
533	==== fred by YOURS after
534	3.14
535	0.5
536	-
537	3.14
538	-
539	0.5
540	-
541	0.5
542	3.14
543	-
544	~~~~~~~~~~~~~~~~~~~~~~~~~~~~
545	Test 9-ii. Modifying Maries
546	~~~~~~~~~~~~~~~~~~~~~~~~~~~~
547	==== mary after
548	3.14
549	0.5
550	-
551	3.14
552	-
553	0.5
554	-
555	0.5
556	3.14
557	-
558
559	~~~~~~~~~~ Element removal tests on Headless List: mid ~~~~~~~~~~
560
561	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
562	Test 10-i. Modifying Freds on MINE
563	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
564	==== fred by MINE before
565	1.7
566	2.7
567	3.7
568	-
569	1.7
570	-
571	3.7
572	-
573	3.7
574	2.7
575	1.7
576	-
577	==== fred by YOURS before
578	1.7
579	2.7
580	3.7
581	-
582	1.7
583	-
584	3.7
585	-
586	3.7
587	2.7
588	1.7
589	-
590	==== fred by MINE after
591	1.7
592	3.7
593	-
594	1.7
595	-
596	3.7
597	-
598	3.7
599	1.7
600	-
601	==== fred by YOURS after
602	1.7
603	2.7
604	3.7
605	-
606	1.7
607	-
608	3.7
609	-
610	3.7
611	2.7
612	1.7
613	-
614	==== fred by MINE after
615	2.7
616	-
617	2.7
618	-
619	-
620	-
621	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
622	Test 11-i. Modifying Freds on YOURS
623	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
624	==== fred by MINE before
625	1.7
626	2.7
627	3.7
628	-
629	1.7
630	-
631	3.7
632	-
633	3.7
634	2.7
635	1.7
636	-
637	==== fred by YOURS before
638	1.7
639	2.7
640	3.7
641	-
642	1.7
643	-
644	3.7
645	-
646	3.7
647	2.7
648	1.7
649	-
650	==== fred by MINE after
651	1.7
652	2.7
653	3.7
654	-
655	1.7
656	-
657	3.7
658	-
659	3.7
660	2.7
661	1.7
662	-
663	==== fred by YOURS after
664	1.7
665	3.7
666	-
667	1.7
668	-
669	3.7
670	-
671	3.7
672	1.7
673	-
674	==== fred by YOURS after
675	2.7
676	-
677	2.7
678	-
679	-
680	-
681	~~~~~~~~~~~~~~~~~~~~~~~~~~~~
682	Test 12-i. Modifying Maries
683	~~~~~~~~~~~~~~~~~~~~~~~~~~~~
684	==== mary before
685	1.7
686	2.7
687	3.7
688	-
689	1.7
690	-
691	3.7
692	-
693	3.7
694	2.7
695	1.7
696	-
697	==== mary after
698	1.7
699	3.7
700	-
701	1.7
702	-
703	3.7
704	-
705	3.7
706	1.7
707	-
708	==== mary after
709	2.7
710	-
711	2.7
712	-
713	-
714	-
715
716	~~~~~~~~~~ Element removal tests on Headless List: at first ~~~~~~~~~~
717
718	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
719	Test 10-ii. Modifying Freds on MINE
720	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
721	==== fred by MINE before
722	1.7
723	2.7
724	3.7
725	-
726	1.7
727	-
728	3.7
729	-
730	3.7
731	2.7
732	1.7
733	-
734	==== fred by YOURS before
735	1.7
736	2.7
737	3.7
738	-
739	1.7
740	-
741	3.7
742	-
743	3.7
744	2.7
745	1.7
746	-
747	==== fred by MINE after
748	2.7
749	3.7
750	-
751	2.7
752	-
753	3.7
754	-
755	3.7
756	2.7
757	-
758	==== fred by YOURS after
759	1.7
760	2.7
761	3.7
762	-
763	1.7
764	-
765	3.7
766	-
767	3.7
768	2.7
769	1.7
770	-
771	==== fred by MINE after
772	1.7
773	-
774	1.7
775	-
776	-
777	-
778	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
779	Test 11-ii. Modifying Freds on YOURS
780	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
781	==== fred by MINE before
782	1.7
783	2.7
784	3.7
785	-
786	1.7
787	-
788	3.7
789	-
790	3.7
791	2.7
792	1.7
793	-
794	==== fred by YOURS before
795	1.7
796	2.7
797	3.7
798	-
799	1.7
800	-
801	3.7
802	-
803	3.7
804	2.7
805	1.7
806	-
807	==== fred by MINE after
808	1.7
809	2.7
810	3.7
811	-
812	1.7
813	-
814	3.7
815	-
816	3.7
817	2.7
818	1.7
819	-
820	==== fred by YOURS after
821	2.7
822	3.7
823	-
824	2.7
825	-
826	3.7
827	-
828	3.7
829	2.7
830	-
831	==== fred by YOURS after
832	1.7
833	-
834	1.7
835	-
836	-
837	-
838	~~~~~~~~~~~~~~~~~~~~~~~~~~~~
839	Test 12-ii. Modifying Maries
840	~~~~~~~~~~~~~~~~~~~~~~~~~~~~
841	==== mary before
842	1.7
843	2.7
844	3.7
845	-
846	1.7
847	-
848	3.7
849	-
850	3.7
851	2.7
852	1.7
853	-
854	==== mary after
855	2.7
856	3.7
857	-
858	2.7
859	-
860	3.7
861	-
862	3.7
863	2.7
864	-
865	==== mary after
866	1.7
867	-
868	1.7
869	-
870	-
871	-
872
873	~~~~~~~~~~ Element removal tests on Headless List: at last ~~~~~~~~~~
874
875	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
876	Test 10-iii. Modifying Freds on MINE
877	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
878	==== fred by MINE before
879	1.7
880	2.7
881	3.7
882	-
883	1.7
884	-
885	3.7
886	-
887	3.7
888	2.7
889	1.7
890	-
891	==== fred by YOURS before
892	1.7
893	2.7
894	3.7
895	-
896	1.7
897	-
898	3.7
899	-
900	3.7
901	2.7
902	1.7
903	-
904	==== fred by MINE after
905	1.7
906	2.7
907	-
908	1.7
909	-
910	2.7
911	-
912	2.7
913	1.7
914	-
915	==== fred by YOURS after
916	1.7
917	2.7
918	3.7
919	-
920	1.7
921	-
922	3.7
923	-
924	3.7
925	2.7
926	1.7
927	-
928	==== fred by MINE after
929	3.7
930	-
931	3.7
932	-
933	-
934	-
935	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
936	Test 11-iii. Modifying Freds on YOURS
937	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
938	==== fred by MINE before
939	1.7
940	2.7
941	3.7
942	-
943	1.7
944	-
945	3.7
946	-
947	3.7
948	2.7
949	1.7
950	-
951	==== fred by YOURS before
952	1.7
953	2.7
954	3.7
955	-
956	1.7
957	-
958	3.7
959	-
960	3.7
961	2.7
962	1.7
963	-
964	==== fred by MINE after
965	1.7
966	2.7
967	3.7
968	-
969	1.7
970	-
971	3.7
972	-
973	3.7
974	2.7
975	1.7
976	-
977	==== fred by YOURS after
978	1.7
979	2.7
980	-
981	1.7
982	-
983	2.7
984	-
985	2.7
986	1.7
987	-
988	==== fred by YOURS after
989	3.7
990	-
991	3.7
992	-
993	-
994	-
995	~~~~~~~~~~~~~~~~~~~~~~~~~~~~
996	Test 12-iii. Modifying Maries
997	~~~~~~~~~~~~~~~~~~~~~~~~~~~~
998	==== mary before
999	1.7
1000	2.7
1001	3.7
1002	-
1003	1.7
1004	-
1005	3.7
1006	-
1007	3.7
1008	2.7
1009	1.7
1010	-
1011	==== mary after
1012	1.7
1013	2.7
1014	-
1015	1.7
1016	-
1017	2.7
1018	-
1019	2.7
1020	1.7
1021	-
1022	==== mary after
1023	3.7
1024	-
1025	3.7
1026	-
1027	-
1028	-
1029
1030	~~~~~~~~~~ Element removal tests on Headed List: at first ~~~~~~~~~~
1031
1032	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1033	Test 13-i. Modifying Freds on MINE
1034	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1035	==== fred by MINE before
1036	1.7
1037	2.7
1038	3.7
1039	-
1040	1.7
1041	-
1042	3.7
1043	-
1044	3.7
1045	2.7
1046	1.7
1047	-
1048	==== fred by YOURS before
1049	1.7
1050	2.7
1051	3.7
1052	-
1053	1.7
1054	-
1055	3.7
1056	-
1057	3.7
1058	2.7
1059	1.7
1060	-
1061	==== fred by MINE after
1062	2.7
1063	3.7
1064	-
1065	2.7
1066	-
1067	3.7
1068	-
1069	3.7
1070	2.7
1071	-
1072	==== fred by YOURS after
1073	1.7
1074	2.7
1075	3.7
1076	-
1077	1.7
1078	-
1079	3.7
1080	-
1081	3.7
1082	2.7
1083	1.7
1084	-
1085	==== fred by MINE after
1086	1.7
1087	-
1088	1.7
1089	-
1090	-
1091	-
1092	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1093	Test 14-i. Modifying Freds on YOURS
1094	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1095	==== fred by MINE before
1096	1.7
1097	2.7
1098	3.7
1099	-
1100	1.7
1101	-
1102	3.7
1103	-
1104	3.7
1105	2.7
1106	1.7
1107	-
1108	==== fred by YOURS before
1109	1.7
1110	2.7
1111	3.7
1112	-
1113	1.7
1114	-
1115	3.7
1116	-
1117	3.7
1118	2.7
1119	1.7
1120	-
1121	==== fred by MINE after
1122	1.7
1123	2.7
1124	3.7
1125	-
1126	1.7
1127	-
1128	3.7
1129	-
1130	3.7
1131	2.7
1132	1.7
1133	-
1134	==== fred by YOURS after
1135	2.7
1136	3.7
1137	-
1138	2.7
1139	-
1140	3.7
1141	-
1142	3.7
1143	2.7
1144	-
1145	==== fred by YOURS after
1146	1.7
1147	-
1148	1.7
1149	-
1150	-
1151	-
1152	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1153	Test 15-i. Modifying Maries
1154	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1155	==== mary before
1156	1.7
1157	2.7
1158	3.7
1159	-
1160	1.7
1161	-
1162	3.7
1163	-
1164	3.7
1165	2.7
1166	1.7
1167	-
1168	==== mary after
1169	2.7
1170	3.7
1171	-
1172	2.7
1173	-
1174	3.7
1175	-
1176	3.7
1177	2.7
1178	-
1179	==== mary after
1180	1.7
1181	-
1182	1.7
1183	-
1184	-
1185	-
1186
1187	~~~~~~~~~~ Element removal tests on Headed List: at last ~~~~~~~~~~
1188
1189	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1190	Test 13-ii. Modifying Freds on MINE
1191	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1192	==== fred by MINE before
1193	1.7
1194	2.7
1195	3.7
1196	-
1197	1.7
1198	-
1199	3.7
1200	-
1201	3.7
1202	2.7
1203	1.7
1204	-
1205	==== fred by YOURS before
1206	1.7
1207	2.7
1208	3.7
1209	-
1210	1.7
1211	-
1212	3.7
1213	-
1214	3.7
1215	2.7
1216	1.7
1217	-
1218	==== fred by MINE after
1219	1.7
1220	2.7
1221	-
1222	1.7
1223	-
1224	2.7
1225	-
1226	2.7
1227	1.7
1228	-
1229	==== fred by YOURS after
1230	1.7
1231	2.7
1232	3.7
1233	-
1234	1.7
1235	-
1236	3.7
1237	-
1238	3.7
1239	2.7
1240	1.7
1241	-
1242	==== fred by MINE after
1243	3.7
1244	-
1245	3.7
1246	-
1247	-
1248	-
1249	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1250	Test 14-ii. Modifying Freds on YOURS
1251	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1252	==== fred by MINE before
1253	1.7
1254	2.7
1255	3.7
1256	-
1257	1.7
1258	-
1259	3.7
1260	-
1261	3.7
1262	2.7
1263	1.7
1264	-
1265	==== fred by YOURS before
1266	1.7
1267	2.7
1268	3.7
1269	-
1270	1.7
1271	-
1272	3.7
1273	-
1274	3.7
1275	2.7
1276	1.7
1277	-
1278	==== fred by MINE after
1279	1.7
1280	2.7
1281	3.7
1282	-
1283	1.7
1284	-
1285	3.7
1286	-
1287	3.7
1288	2.7
1289	1.7
1290	-
1291	==== fred by YOURS after
1292	1.7
1293	2.7
1294	-
1295	1.7
1296	-
1297	2.7
1298	-
1299	2.7
1300	1.7
1301	-
1302	==== fred by YOURS after
1303	3.7
1304	-
1305	3.7
1306	-
1307	-
1308	-
1309	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1310	Test 15-ii. Modifying Maries
1311	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1312	==== mary before
1313	1.7
1314	2.7
1315	3.7
1316	-
1317	1.7
1318	-
1319	3.7
1320	-
1321	3.7
1322	2.7
1323	1.7
1324	-
1325	==== mary after
1326	1.7
1327	2.7
1328	-
1329	1.7
1330	-
1331	2.7
1332	-
1333	2.7
1334	1.7
1335	-
1336	==== mary after
1337	3.7
1338	-
1339	3.7
1340	-
1341	-
1342	-
1343
1344	~~~~~~~~~~ Element removal tests on Headed List: of sole ~~~~~~~~~~
1345
1346	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1347	Test 13-iii. Modifying Freds on MINE
1348	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1349	==== fred by MINE before
1350	0.7
1351	-
1352	0.7
1353	-
1354	0.7
1355	-
1356	0.7
1357	-
1358	==== fred by YOURS before
1359	0.7
1360	-
1361	0.7
1362	-
1363	0.7
1364	-
1365	0.7
1366	-
1367	==== fred by YOURS after
1368	0.7
1369	-
1370	0.7
1371	-
1372	0.7
1373	-
1374	0.7
1375	-
1376	==== fred by MINE after
1377	0.7
1378	-
1379	0.7
1380	-
1381	-
1382	-
1383	==== fred by MINE after
1384	0.7
1385	-
1386	0.7
1387	-
1388	0.7
1389	-
1390	0.7
1391	-
1392	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1393	Test 14-iii. Modifying Freds on YOURS
1394	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1395	==== fred by MINE before
1396	0.7
1397	-
1398	0.7
1399	-
1400	0.7
1401	-
1402	0.7
1403	-
1404	==== fred by YOURS before
1405	0.7
1406	-
1407	0.7
1408	-
1409	0.7
1410	-
1411	0.7
1412	-
1413	==== fred by YOURS after
1414	0.7
1415	-
1416	0.7
1417	-
1418	0.7
1419	-
1420	0.7
1421	-
1422	==== fred by YOURS after
1423	0.7
1424	-
1425	0.7
1426	-
1427	-
1428	-
1429	==== fred by YOURS after
1430	0.7
1431	-
1432	0.7
1433	-
1434	0.7
1435	-
1436	0.7
1437	-
1438	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1439	Test 15-iii. Modifying Maries
1440	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1441	==== mary before
1442	0.7
1443	-
1444	0.7
1445	-
1446	0.7
1447	-
1448	0.7
1449	-
1450	==== mary after
1451	0.7
1452	-
1453	0.7
1454	-
1455	-
1456	-
1457	==== mary after
1458	0.7
1459	-
1460	0.7
1461	-
1462	0.7
1463	-
1464	0.7
1465	-
1466
1467	~~~~~~~~~~ End removal tests on Headed List: First ~~~~~~~~~~
1468
1469	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1470	Test 16-i. Modifying Freds on MINE
1471	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1472	==== fred by MINE before
1473	1.7
1474	2.7
1475	3.7
1476	-
1477	1.7
1478	-
1479	3.7
1480	-
1481	3.7
1482	2.7
1483	1.7
1484	-
1485	==== fred by YOURS before
1486	1.7
1487	2.7
1488	3.7
1489	-
1490	1.7
1491	-
1492	3.7
1493	-
1494	3.7
1495	2.7
1496	1.7
1497	-
1498	==== fred by MINE after
1499	2.7
1500	3.7
1501	-
1502	2.7
1503	-
1504	3.7
1505	-
1506	3.7
1507	2.7
1508	-
1509	==== fred by YOURS after
1510	1.7
1511	2.7
1512	3.7
1513	-
1514	1.7
1515	-
1516	3.7
1517	-
1518	3.7
1519	2.7
1520	1.7
1521	-
1522	==== fred by MINE after
1523	1.7
1524	-
1525	1.7
1526	-
1527	-
1528	-
1529	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1530	Test 16-ii. Modifying Freds on YOURS
1531	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1532	==== fred by MINE before
1533	1.7
1534	2.7
1535	3.7
1536	-
1537	1.7
1538	-
1539	3.7
1540	-
1541	3.7
1542	2.7
1543	1.7
1544	-
1545	==== fred by YOURS before
1546	1.7
1547	2.7
1548	3.7
1549	-
1550	1.7
1551	-
1552	3.7
1553	-
1554	3.7
1555	2.7
1556	1.7
1557	-
1558	==== fred by MINE after
1559	1.7
1560	2.7
1561	3.7
1562	-
1563	1.7
1564	-
1565	3.7
1566	-
1567	3.7
1568	2.7
1569	1.7
1570	-
1571	==== fred by YOURS after
1572	2.7
1573	3.7
1574	-
1575	2.7
1576	-
1577	3.7
1578	-
1579	3.7
1580	2.7
1581	-
1582	==== fred by YOURS after
1583	1.7
1584	-
1585	1.7
1586	-
1587	-
1588	-
1589	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1590	Test 16-iii. Modifying Maries
1591	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1592	==== mary before
1593	1.7
1594	2.7
1595	3.7
1596	-
1597	1.7
1598	-
1599	3.7
1600	-
1601	3.7
1602	2.7
1603	1.7
1604	-
1605	==== mary after
1606	2.7
1607	3.7
1608	-
1609	2.7
1610	-
1611	3.7
1612	-
1613	3.7
1614	2.7
1615	-
1616	==== mary after
1617	1.7
1618	-
1619	1.7
1620	-
1621	-
1622	-
1623
1624	~~~~~~~~~~ End removal tests on Headed List: Last ~~~~~~~~~~
1625
1626	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1627	Test 17-i. Modifying Freds on MINE
1628	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1629	==== fred by MINE before
1630	1.7
1631	2.7
1632	3.7
1633	-
1634	1.7
1635	-
1636	3.7
1637	-
1638	3.7
1639	2.7
1640	1.7
1641	-
1642	==== fred by YOURS before
1643	1.7
1644	2.7
1645	3.7
1646	-
1647	1.7
1648	-
1649	3.7
1650	-
1651	3.7
1652	2.7
1653	1.7
1654	-
1655	==== fred by MINE after
1656	1.7
1657	2.7
1658	-
1659	1.7
1660	-
1661	2.7
1662	-
1663	2.7
1664	1.7
1665	-
1666	==== fred by YOURS after
1667	1.7
1668	2.7
1669	3.7
1670	-
1671	1.7
1672	-
1673	3.7
1674	-
1675	3.7
1676	2.7
1677	1.7
1678	-
1679	==== fred by MINE after
1680	3.7
1681	-
1682	3.7
1683	-
1684	-
1685	-
1686	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1687	Test 17-ii. Modifying Freds on YOURS
1688	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1689	==== fred by MINE before
1690	1.7
1691	2.7
1692	3.7
1693	-
1694	1.7
1695	-
1696	3.7
1697	-
1698	3.7
1699	2.7
1700	1.7
1701	-
1702	==== fred by YOURS before
1703	1.7
1704	2.7
1705	3.7
1706	-
1707	1.7
1708	-
1709	3.7
1710	-
1711	3.7
1712	2.7
1713	1.7
1714	-
1715	==== fred by MINE after
1716	1.7
1717	2.7
1718	3.7
1719	-
1720	1.7
1721	-
1722	3.7
1723	-
1724	3.7
1725	2.7
1726	1.7
1727	-
1728	==== fred by YOURS after
1729	1.7
1730	2.7
1731	-
1732	1.7
1733	-
1734	2.7
1735	-
1736	2.7
1737	1.7
1738	-
1739	==== fred by YOURS after
1740	3.7
1741	-
1742	3.7
1743	-
1744	-
1745	-
1746	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1747	Test 17-iii. Modifying Maries
1748	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1749	==== mary before
1750	1.7
1751	2.7
1752	3.7
1753	-
1754	1.7
1755	-
1756	3.7
1757	-
1758	3.7
1759	2.7
1760	1.7
1761	-
1762	==== mary after
1763	1.7
1764	2.7
1765	-
1766	1.7
1767	-
1768	2.7
1769	-
1770	2.7
1771	1.7
1772	-
1773	==== mary after
1774	3.7
1775	-
1776	3.7
1777	-
1778	-
1779	-

Note: See TracBrowser for help on using the repository browser.

Download in other formats: