Changeset e2f601f for tests/list/.expect/dlist-insert-remove.txt
- Timestamp:
- May 13, 2021, 3:49:30 PM (3 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- aff7e86, c457dc41
- Parents:
- 8cd5434 (diff), 69914cbc (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
tests/list/.expect/dlist-insert-remove.txt
r8cd5434 re2f601f 1 ~~~~~~~~~~~~~~~~~ Headless List Tests - insert_after ~~~~~~~~~~~~~~~~2 3 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~4 Test 1-i: Modifying Freds on MINE5 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~6 ==== fred by MINE before7 3.148 -9 3.1410 -11 0.512 -13 0.514 -15 ==== fred by YOURS before16 3.1417 -18 3.1419 -20 0.521 -22 0.523 -24 ==== fred by MINE after25 3.1426 0.527 -28 3.1429 -30 0.531 -32 0.533 3.1434 -35 ==== fred by YOURS after36 3.1437 -38 3.1439 -40 0.541 -42 0.543 -44 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~45 Test 2-i. Modifying Freds on YOURS46 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~47 ==== fred by MINE before48 3.1449 -50 3.1451 -52 0.553 -54 0.555 -56 ==== fred by YOURS before57 3.1458 -59 3.1460 -61 0.562 -63 0.564 -65 ==== fred by MINE after66 3.1467 -68 3.1469 -70 0.571 -72 0.573 -74 ==== fred by YOURS after75 3.1476 0.577 -78 3.1479 -80 0.581 -82 0.583 3.1484 -85 ~~~~~~~~~~~~~~~~~~~~~~~~~~~86 Test 3-i. Modifying Maries87 ~~~~~~~~~~~~~~~~~~~~~~~~~~~88 ==== mary before89 3.1490 -91 3.1492 -93 0.594 -95 0.596 -97 ==== mary after98 3.1499 0.5100 -101 3.14102 -103 0.5104 -105 0.5106 3.14107 -108 109 ~~~~~~~~~~~~~~~~ Headless List Tests - insert_before ~~~~~~~~~~~~~~~~110 111 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~112 Test 1-ii: Modifying Freds on MINE113 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~114 ==== fred by MINE before115 3.14116 -117 3.14118 -119 0.5120 -121 0.5122 -123 ==== fred by YOURS before124 3.14125 -126 3.14127 -128 0.5129 -130 0.5131 -132 ==== fred by MINE after133 3.14134 0.5135 -136 3.14137 -138 0.5139 -140 0.5141 3.14142 -143 ==== fred by YOURS after144 3.14145 -146 3.14147 -148 0.5149 -150 0.5151 -152 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~153 Test 2-ii. Modifying Freds on YOURS154 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~155 ==== fred by MINE before156 3.14157 -158 3.14159 -160 0.5161 -162 0.5163 -164 ==== fred by YOURS before165 3.14166 -167 3.14168 -169 0.5170 -171 0.5172 -173 ==== fred by MINE after174 3.14175 -176 3.14177 -178 0.5179 -180 0.5181 -182 ==== fred by YOURS after183 3.14184 0.5185 -186 3.14187 -188 0.5189 -190 0.5191 3.14192 -193 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~194 Test 3-ii. Modifying Maries195 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~196 ==== mary before197 3.14198 -199 3.14200 -201 0.5202 -203 0.5204 -205 ==== mary after206 3.14207 0.5208 -209 3.14210 -211 0.5212 -213 0.5214 3.14215 -216 1 217 2 ~~~~~~~~~~~~~~~~~ Headed List Tests - insert_first ~~~~~~~~~~~~~~~~~~ … … 557 342 - 558 343 559 ~~~~~~~~~~ Element removal tests on Head less List: mid~~~~~~~~~~560 561 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 562 Test 1 0-i. Modifying Freds on MINE563 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 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.7592 3.7 593 - 594 1.7595 - 596 3.7 597 - 598 3.7 599 1.7600 - 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.7616 - 617 2.7618 - 619 - 620 - 621 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~622 Test 1 1-i. Modifying Freds on YOURS623 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~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.7665 3.7 666 - 667 1.7668 - 669 3.7 670 - 671 3.7 672 1.7673 - 674 ==== fred by YOURS after 675 2.7676 - 677 2.7678 - 679 - 680 - 681 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 682 Test 1 2-i. Modifying Maries683 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 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 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 684 469 ==== mary before 685 470 1.7 … … 696 481 - 697 482 ==== mary after 698 1.7699 3.7 700 - 701 1.7702 - 703 3.7 704 - 705 3.7 706 1.7707 - 708 ==== mary after 709 2.7710 - 711 2.7712 - 713 - 714 - 715 716 ~~~~~~~~~~ Element removal tests on Head less List: at first ~~~~~~~~~~717 718 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 719 Test 1 0-ii. Modifying Freds on MINE720 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 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.7749 3.7750 - 751 2.7752 - 753 3.7754 - 755 3.7756 2.7757 - 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.7773 - 774 1.7775 - 776 - 777 - 778 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~779 Test 1 1-ii. Modifying Freds on YOURS780 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~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.7822 3.7823 - 824 2.7825 - 826 3.7827 - 828 3.7829 2.7830 - 831 ==== fred by YOURS after 832 1.7833 - 834 1.7835 - 836 - 837 - 838 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 839 Test 1 2-ii. Modifying Maries840 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 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 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 841 626 ==== mary before 842 627 1.7 … … 853 638 - 854 639 ==== 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 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 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 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 998 755 ==== 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 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 1154 905 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1155 906 ==== mary before … … 1185 936 - 1186 937 1187 ~~~~~~~~~~ E lement removal tests on Headed List: at last ~~~~~~~~~~1188 1189 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1190 Test 1 3-ii. Modifying Freds on MINE1191 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 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 1 4-ii. Modifying Freds on YOURS1251 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 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 1 5-ii. Modifying Maries938 ~~~~~~~~~~ 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 1311 1062 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1312 1063 ==== mary before … … 1342 1093 - 1343 1094 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 - 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
Note: See TracChangeset
for help on using the changeset viewer.