Context Navigation

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

ADTast-experimentalpthread-emulationqualifiedEnum

Last change on this file since 9939dc3 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	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
5	Test 4-i: Modifying Freds on MINE
6	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
7	==== fred by MINE before
8	3.14
9	-
10	3.14
11	-
12	0.5
13	-
14	0.5
15	-
16	==== fred by YOURS before
17	3.14
18	-
19	3.14
20	-
21	0.5
22	-
23	0.5
24	-
25	==== fred by MINE after
26	3.14
27	0.5
28	-
29	3.14
30	-
31	0.5
32	-
33	0.5
34	3.14
35	-
36	==== fred by YOURS after
37	3.14
38	-
39	3.14
40	-
41	0.5
42	-
43	0.5
44	-
45	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
46	Test 5-i: Modifying Freds on YOURS
47	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
48	==== fred by MINE before
49	3.14
50	-
51	3.14
52	-
53	0.5
54	-
55	0.5
56	-
57	==== fred by YOURS before
58	3.14
59	-
60	3.14
61	-
62	0.5
63	-
64	0.5
65	-
66	==== fred by MINE after
67	3.14
68	-
69	3.14
70	-
71	0.5
72	-
73	0.5
74	-
75	==== fred by YOURS after
76	3.14
77	0.5
78	-
79	3.14
80	-
81	0.5
82	-
83	0.5
84	3.14
85	-
86	~~~~~~~~~~~~~~~~~~~~~~~~~~~
87	Test 6-i. Modifying Maries
88	~~~~~~~~~~~~~~~~~~~~~~~~~~~
89	==== mary before
90	3.14
91	-
92	3.14
93	-
94	0.5
95	-
96	0.5
97	-
98	==== mary after
99	3.14
100	0.5
101	-
102	3.14
103	-
104	0.5
105	-
106	0.5
107	3.14
108	-
109
110	~~~~~~~~~~~~~~~~~ Headed List Tests - insert_last ~~~~~~~~~~~~~~~~~~~
111
112	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
113	Test 4-ii: Modifying Freds on MINE
114	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
115	==== fred by MINE before
116	3.14
117	-
118	3.14
119	-
120	0.5
121	-
122	0.5
123	-
124	==== fred by YOURS before
125	3.14
126	-
127	3.14
128	-
129	0.5
130	-
131	0.5
132	-
133	==== fred by MINE after
134	3.14
135	0.5
136	-
137	3.14
138	-
139	0.5
140	-
141	0.5
142	3.14
143	-
144	==== fred by YOURS after
145	3.14
146	-
147	3.14
148	-
149	0.5
150	-
151	0.5
152	-
153	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
154	Test 5-ii: Modifying Freds on YOURS
155	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
156	==== fred by MINE before
157	3.14
158	-
159	3.14
160	-
161	0.5
162	-
163	0.5
164	-
165	==== fred by YOURS before
166	3.14
167	-
168	3.14
169	-
170	0.5
171	-
172	0.5
173	-
174	==== fred by MINE after
175	3.14
176	-
177	3.14
178	-
179	0.5
180	-
181	0.5
182	-
183	==== fred by YOURS after
184	3.14
185	0.5
186	-
187	3.14
188	-
189	0.5
190	-
191	0.5
192	3.14
193	-
194	~~~~~~~~~~~~~~~~~~~~~~~~~~~~
195	Test 6-ii. Modifying Maries
196	~~~~~~~~~~~~~~~~~~~~~~~~~~~~
197	==== mary before
198	3.14
199	-
200	3.14
201	-
202	0.5
203	-
204	0.5
205	-
206	==== mary after
207	3.14
208	0.5
209	-
210	3.14
211	-
212	0.5
213	-
214	0.5
215	3.14
216	-
217
218	~~~~~~~~~~~ Element ops on Headed List Tests: after, last ~~~~~~~~~~~
219
220	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
221	Test 7-i. Modifying Freds on MINE
222	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
223	==== fred by MINE after
224	3.14
225	0.5
226	-
227	3.14
228	-
229	0.5
230	-
231	0.5
232	3.14
233	-
234	==== fred by YOURS after
235	3.14
236	-
237	3.14
238	-
239	0.5
240	-
241	0.5
242	-
243	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
244	Test 8-i. Modifying Freds on YOURS
245	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
246	==== fred by MINE after
247	3.14
248	-
249	3.14
250	-
251	0.5
252	-
253	0.5
254	-
255	==== fred by YOURS after
256	3.14
257	0.5
258	-
259	3.14
260	-
261	0.5
262	-
263	0.5
264	3.14
265	-
266	~~~~~~~~~~~~~~~~~~~~~~~~~~
267	Test 9-i. Modifying Maries
268	~~~~~~~~~~~~~~~~~~~~~~~~~~
269	==== mary after
270	3.14
271	0.5
272	-
273	3.14
274	-
275	0.5
276	-
277	0.5
278	3.14
279	-
280
281	~~~~~~~~~~ Element ops on Headed List Tests: before, first ~~~~~~~~~~
282
283	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
284	Test 7-ii. Modifying Freds on MINE
285	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
286	==== fred by MINE after
287	3.14
288	0.5
289	-
290	3.14
291	-
292	0.5
293	-
294	0.5
295	3.14
296	-
297	==== fred by YOURS after
298	3.14
299	-
300	3.14
301	-
302	0.5
303	-
304	0.5
305	-
306	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
307	Test 8-ii. Modifying Freds on YOURS
308	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
309	==== fred by MINE after
310	3.14
311	-
312	3.14
313	-
314	0.5
315	-
316	0.5
317	-
318	==== fred by YOURS after
319	3.14
320	0.5
321	-
322	3.14
323	-
324	0.5
325	-
326	0.5
327	3.14
328	-
329	~~~~~~~~~~~~~~~~~~~~~~~~~~~~
330	Test 9-ii. Modifying Maries
331	~~~~~~~~~~~~~~~~~~~~~~~~~~~~
332	==== mary after
333	3.14
334	0.5
335	-
336	3.14
337	-
338	0.5
339	-
340	0.5
341	3.14
342	-
343
344	~~~~~~~~~~ Element removal tests on Headed List: at first ~~~~~~~~~~
345
346	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
347	Test 13-i. Modifying Freds on MINE
348	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
349	==== fred by MINE before
350	1.7
351	2.7
352	3.7
353	-
354	1.7
355	-
356	3.7
357	-
358	3.7
359	2.7
360	1.7
361	-
362	==== fred by YOURS before
363	1.7
364	2.7
365	3.7
366	-
367	1.7
368	-
369	3.7
370	-
371	3.7
372	2.7
373	1.7
374	-
375	==== fred by MINE after
376	2.7
377	3.7
378	-
379	2.7
380	-
381	3.7
382	-
383	3.7
384	2.7
385	-
386	==== fred by YOURS after
387	1.7
388	2.7
389	3.7
390	-
391	1.7
392	-
393	3.7
394	-
395	3.7
396	2.7
397	1.7
398	-
399	==== fred by MINE after
400	1.7
401	-
402	1.7
403	-
404	-
405	-
406	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
407	Test 14-i. Modifying Freds on YOURS
408	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
409	==== fred by MINE before
410	1.7
411	2.7
412	3.7
413	-
414	1.7
415	-
416	3.7
417	-
418	3.7
419	2.7
420	1.7
421	-
422	==== fred by YOURS before
423	1.7
424	2.7
425	3.7
426	-
427	1.7
428	-
429	3.7
430	-
431	3.7
432	2.7
433	1.7
434	-
435	==== fred by MINE after
436	1.7
437	2.7
438	3.7
439	-
440	1.7
441	-
442	3.7
443	-
444	3.7
445	2.7
446	1.7
447	-
448	==== fred by YOURS after
449	2.7
450	3.7
451	-
452	2.7
453	-
454	3.7
455	-
456	3.7
457	2.7
458	-
459	==== fred by YOURS after
460	1.7
461	-
462	1.7
463	-
464	-
465	-
466	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
467	Test 15-i. Modifying Maries
468	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
469	==== mary before
470	1.7
471	2.7
472	3.7
473	-
474	1.7
475	-
476	3.7
477	-
478	3.7
479	2.7
480	1.7
481	-
482	==== mary after
483	2.7
484	3.7
485	-
486	2.7
487	-
488	3.7
489	-
490	3.7
491	2.7
492	-
493	==== mary after
494	1.7
495	-
496	1.7
497	-
498	-
499	-
500
501	~~~~~~~~~~ Element removal tests on Headed List: at last ~~~~~~~~~~
502
503	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
504	Test 13-ii. Modifying Freds on MINE
505	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
506	==== fred by MINE before
507	1.7
508	2.7
509	3.7
510	-
511	1.7
512	-
513	3.7
514	-
515	3.7
516	2.7
517	1.7
518	-
519	==== fred by YOURS before
520	1.7
521	2.7
522	3.7
523	-
524	1.7
525	-
526	3.7
527	-
528	3.7
529	2.7
530	1.7
531	-
532	==== fred by MINE after
533	1.7
534	2.7
535	-
536	1.7
537	-
538	2.7
539	-
540	2.7
541	1.7
542	-
543	==== fred by YOURS after
544	1.7
545	2.7
546	3.7
547	-
548	1.7
549	-
550	3.7
551	-
552	3.7
553	2.7
554	1.7
555	-
556	==== fred by MINE after
557	3.7
558	-
559	3.7
560	-
561	-
562	-
563	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
564	Test 14-ii. Modifying Freds on YOURS
565	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
566	==== fred by MINE before
567	1.7
568	2.7
569	3.7
570	-
571	1.7
572	-
573	3.7
574	-
575	3.7
576	2.7
577	1.7
578	-
579	==== fred by YOURS before
580	1.7
581	2.7
582	3.7
583	-
584	1.7
585	-
586	3.7
587	-
588	3.7
589	2.7
590	1.7
591	-
592	==== fred by MINE after
593	1.7
594	2.7
595	3.7
596	-
597	1.7
598	-
599	3.7
600	-
601	3.7
602	2.7
603	1.7
604	-
605	==== fred by YOURS after
606	1.7
607	2.7
608	-
609	1.7
610	-
611	2.7
612	-
613	2.7
614	1.7
615	-
616	==== fred by YOURS after
617	3.7
618	-
619	3.7
620	-
621	-
622	-
623	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
624	Test 15-ii. Modifying Maries
625	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
626	==== mary before
627	1.7
628	2.7
629	3.7
630	-
631	1.7
632	-
633	3.7
634	-
635	3.7
636	2.7
637	1.7
638	-
639	==== mary after
640	1.7
641	2.7
642	-
643	1.7
644	-
645	2.7
646	-
647	2.7
648	1.7
649	-
650	==== mary after
651	3.7
652	-
653	3.7
654	-
655	-
656	-
657
658	~~~~~~~~~~ Element removal tests on Headed List: of sole ~~~~~~~~~~
659
660	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
661	Test 13-iii. Modifying Freds on MINE
662	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
663	==== fred by MINE before
664	0.7
665	-
666	0.7
667	-
668	0.7
669	-
670	0.7
671	-
672	==== fred by YOURS before
673	0.7
674	-
675	0.7
676	-
677	0.7
678	-
679	0.7
680	-
681	==== fred by YOURS after
682	0.7
683	-
684	0.7
685	-
686	0.7
687	-
688	0.7
689	-
690	==== fred by MINE after
691	0.7
692	-
693	0.7
694	-
695	-
696	-
697	==== fred by MINE after
698	0.7
699	-
700	0.7
701	-
702	0.7
703	-
704	0.7
705	-
706	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
707	Test 14-iii. Modifying Freds on YOURS
708	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
709	==== fred by MINE before
710	0.7
711	-
712	0.7
713	-
714	0.7
715	-
716	0.7
717	-
718	==== fred by YOURS before
719	0.7
720	-
721	0.7
722	-
723	0.7
724	-
725	0.7
726	-
727	==== fred by YOURS after
728	0.7
729	-
730	0.7
731	-
732	0.7
733	-
734	0.7
735	-
736	==== fred by YOURS after
737	0.7
738	-
739	0.7
740	-
741	-
742	-
743	==== fred by YOURS after
744	0.7
745	-
746	0.7
747	-
748	0.7
749	-
750	0.7
751	-
752	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
753	Test 15-iii. Modifying Maries
754	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
755	==== mary before
756	0.7
757	-
758	0.7
759	-
760	0.7
761	-
762	0.7
763	-
764	==== mary after
765	0.7
766	-
767	0.7
768	-
769	-
770	-
771	==== mary after
772	0.7
773	-
774	0.7
775	-
776	0.7
777	-
778	0.7
779	-
780
781	~~~~~~~~~~ End removal tests on Headed List: First ~~~~~~~~~~
782
783	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
784	Test 16-i. Modifying Freds on MINE
785	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
786	==== fred by MINE before
787	1.7
788	2.7
789	3.7
790	-
791	1.7
792	-
793	3.7
794	-
795	3.7
796	2.7
797	1.7
798	-
799	==== fred by YOURS before
800	1.7
801	2.7
802	3.7
803	-
804	1.7
805	-
806	3.7
807	-
808	3.7
809	2.7
810	1.7
811	-
812	==== fred by MINE after
813	2.7
814	3.7
815	-
816	2.7
817	-
818	3.7
819	-
820	3.7
821	2.7
822	-
823	==== fred by YOURS after
824	1.7
825	2.7
826	3.7
827	-
828	1.7
829	-
830	3.7
831	-
832	3.7
833	2.7
834	1.7
835	-
836	==== fred by MINE after
837	1.7
838	-
839	1.7
840	-
841	-
842	-
843	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
844	Test 16-ii. Modifying Freds on YOURS
845	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
846	==== fred by MINE before
847	1.7
848	2.7
849	3.7
850	-
851	1.7
852	-
853	3.7
854	-
855	3.7
856	2.7
857	1.7
858	-
859	==== fred by YOURS before
860	1.7
861	2.7
862	3.7
863	-
864	1.7
865	-
866	3.7
867	-
868	3.7
869	2.7
870	1.7
871	-
872	==== fred by MINE after
873	1.7
874	2.7
875	3.7
876	-
877	1.7
878	-
879	3.7
880	-
881	3.7
882	2.7
883	1.7
884	-
885	==== fred by YOURS after
886	2.7
887	3.7
888	-
889	2.7
890	-
891	3.7
892	-
893	3.7
894	2.7
895	-
896	==== fred by YOURS after
897	1.7
898	-
899	1.7
900	-
901	-
902	-
903	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
904	Test 16-iii. Modifying Maries
905	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
906	==== mary before
907	1.7
908	2.7
909	3.7
910	-
911	1.7
912	-
913	3.7
914	-
915	3.7
916	2.7
917	1.7
918	-
919	==== mary after
920	2.7
921	3.7
922	-
923	2.7
924	-
925	3.7
926	-
927	3.7
928	2.7
929	-
930	==== mary after
931	1.7
932	-
933	1.7
934	-
935	-
936	-
937
938	~~~~~~~~~~ End removal tests on Headed List: Last ~~~~~~~~~~
939
940	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
941	Test 17-i. Modifying Freds on MINE
942	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
943	==== fred by MINE before
944	1.7
945	2.7
946	3.7
947	-
948	1.7
949	-
950	3.7
951	-
952	3.7
953	2.7
954	1.7
955	-
956	==== fred by YOURS before
957	1.7
958	2.7
959	3.7
960	-
961	1.7
962	-
963	3.7
964	-
965	3.7
966	2.7
967	1.7
968	-
969	==== fred by MINE after
970	1.7
971	2.7
972	-
973	1.7
974	-
975	2.7
976	-
977	2.7
978	1.7
979	-
980	==== fred by YOURS after
981	1.7
982	2.7
983	3.7
984	-
985	1.7
986	-
987	3.7
988	-
989	3.7
990	2.7
991	1.7
992	-
993	==== fred by MINE after
994	3.7
995	-
996	3.7
997	-
998	-
999	-
1000	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1001	Test 17-ii. Modifying Freds on YOURS
1002	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1003	==== fred by MINE before
1004	1.7
1005	2.7
1006	3.7
1007	-
1008	1.7
1009	-
1010	3.7
1011	-
1012	3.7
1013	2.7
1014	1.7
1015	-
1016	==== fred by YOURS before
1017	1.7
1018	2.7
1019	3.7
1020	-
1021	1.7
1022	-
1023	3.7
1024	-
1025	3.7
1026	2.7
1027	1.7
1028	-
1029	==== fred by MINE after
1030	1.7
1031	2.7
1032	3.7
1033	-
1034	1.7
1035	-
1036	3.7
1037	-
1038	3.7
1039	2.7
1040	1.7
1041	-
1042	==== fred by YOURS after
1043	1.7
1044	2.7
1045	-
1046	1.7
1047	-
1048	2.7
1049	-
1050	2.7
1051	1.7
1052	-
1053	==== fred by YOURS after
1054	3.7
1055	-
1056	3.7
1057	-
1058	-
1059	-
1060	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1061	Test 17-iii. Modifying Maries
1062	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1063	==== mary before
1064	1.7
1065	2.7
1066	3.7
1067	-
1068	1.7
1069	-
1070	3.7
1071	-
1072	3.7
1073	2.7
1074	1.7
1075	-
1076	==== mary after
1077	1.7
1078	2.7
1079	-
1080	1.7
1081	-
1082	2.7
1083	-
1084	2.7
1085	1.7
1086	-
1087	==== mary after
1088	3.7
1089	-
1090	3.7
1091	-
1092	-
1093	-
1094
1095	~~~~~~~~~~~~~~~~~~~ Ease-of-access cases ~~~~~~~~~~~~~~~~~~
1096
1097	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1098	Test 18-i. Modifying Freds on MINE
1099	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1100	Not implmented
1101	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1102	Test 18-ii. Modifying Freds on YOURS
1103	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1104	Not implmented
1105	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1106	Test 18-iii. Modifying Maries
1107	~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1108	accessor_cases done
1109	try_pop cases done
1110	origin_mutation cases done
1111	isListed cases done

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

Download in other formats: