~~~~~~~~~~~~~~~~~ Headed List Tests - insert_first ~~~~~~~~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 4-i: Modifying Freds on MINE ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== fred by MINE before 3.14 - 3.14 - 0.5 - 0.5 - ==== fred by YOURS before 3.14 - 3.14 - 0.5 - 0.5 - ==== fred by MINE after 3.14 0.5 - 3.14 - 0.5 - 0.5 3.14 - ==== fred by YOURS after 3.14 - 3.14 - 0.5 - 0.5 - ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 5-i: Modifying Freds on YOURS ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== fred by MINE before 3.14 - 3.14 - 0.5 - 0.5 - ==== fred by YOURS before 3.14 - 3.14 - 0.5 - 0.5 - ==== fred by MINE after 3.14 - 3.14 - 0.5 - 0.5 - ==== fred by YOURS after 3.14 0.5 - 3.14 - 0.5 - 0.5 3.14 - ~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 6-i. Modifying Maries ~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== mary before 3.14 - 3.14 - 0.5 - 0.5 - ==== mary after 3.14 0.5 - 3.14 - 0.5 - 0.5 3.14 - ~~~~~~~~~~~~~~~~~ Headed List Tests - insert_last ~~~~~~~~~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 4-ii: Modifying Freds on MINE ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== fred by MINE before 3.14 - 3.14 - 0.5 - 0.5 - ==== fred by YOURS before 3.14 - 3.14 - 0.5 - 0.5 - ==== fred by MINE after 3.14 0.5 - 3.14 - 0.5 - 0.5 3.14 - ==== fred by YOURS after 3.14 - 3.14 - 0.5 - 0.5 - ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 5-ii: Modifying Freds on YOURS ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== fred by MINE before 3.14 - 3.14 - 0.5 - 0.5 - ==== fred by YOURS before 3.14 - 3.14 - 0.5 - 0.5 - ==== fred by MINE after 3.14 - 3.14 - 0.5 - 0.5 - ==== fred by YOURS after 3.14 0.5 - 3.14 - 0.5 - 0.5 3.14 - ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 6-ii. Modifying Maries ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== mary before 3.14 - 3.14 - 0.5 - 0.5 - ==== mary after 3.14 0.5 - 3.14 - 0.5 - 0.5 3.14 - ~~~~~~~~~~~ Element ops on Headed List Tests: after, last ~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 7-i. Modifying Freds on MINE ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== fred by MINE after 3.14 0.5 - 3.14 - 0.5 - 0.5 3.14 - ==== fred by YOURS after 3.14 - 3.14 - 0.5 - 0.5 - ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 8-i. Modifying Freds on YOURS ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== fred by MINE after 3.14 - 3.14 - 0.5 - 0.5 - ==== fred by YOURS after 3.14 0.5 - 3.14 - 0.5 - 0.5 3.14 - ~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 9-i. Modifying Maries ~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== mary after 3.14 0.5 - 3.14 - 0.5 - 0.5 3.14 - ~~~~~~~~~~ Element ops on Headed List Tests: before, first ~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 7-ii. Modifying Freds on MINE ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== fred by MINE after 3.14 0.5 - 3.14 - 0.5 - 0.5 3.14 - ==== fred by YOURS after 3.14 - 3.14 - 0.5 - 0.5 - ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 8-ii. Modifying Freds on YOURS ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== fred by MINE after 3.14 - 3.14 - 0.5 - 0.5 - ==== fred by YOURS after 3.14 0.5 - 3.14 - 0.5 - 0.5 3.14 - ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 9-ii. Modifying Maries ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== mary after 3.14 0.5 - 3.14 - 0.5 - 0.5 3.14 - ~~~~~~~~~~ Element removal tests on Headed List: at first ~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 13-i. Modifying Freds on MINE ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== fred by MINE before 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by YOURS before 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by MINE after 2.7 3.7 - 2.7 - 3.7 - 3.7 2.7 - ==== fred by YOURS after 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by MINE after 1.7 - 1.7 - - - ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 14-i. Modifying Freds on YOURS ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== fred by MINE before 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by YOURS before 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by MINE after 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by YOURS after 2.7 3.7 - 2.7 - 3.7 - 3.7 2.7 - ==== fred by YOURS after 1.7 - 1.7 - - - ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 15-i. Modifying Maries ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== mary before 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== mary after 2.7 3.7 - 2.7 - 3.7 - 3.7 2.7 - ==== mary after 1.7 - 1.7 - - - ~~~~~~~~~~ Element removal tests on Headed List: at last ~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 13-ii. Modifying Freds on MINE ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== fred by MINE before 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by YOURS before 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by MINE after 1.7 2.7 - 1.7 - 2.7 - 2.7 1.7 - ==== fred by YOURS after 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by MINE after 3.7 - 3.7 - - - ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 14-ii. Modifying Freds on YOURS ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== fred by MINE before 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by YOURS before 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by MINE after 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by YOURS after 1.7 2.7 - 1.7 - 2.7 - 2.7 1.7 - ==== fred by YOURS after 3.7 - 3.7 - - - ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 15-ii. Modifying Maries ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== mary before 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== mary after 1.7 2.7 - 1.7 - 2.7 - 2.7 1.7 - ==== mary after 3.7 - 3.7 - - - ~~~~~~~~~~ Element removal tests on Headed List: of sole ~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 13-iii. Modifying Freds on MINE ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== fred by MINE before 0.7 - 0.7 - 0.7 - 0.7 - ==== fred by YOURS before 0.7 - 0.7 - 0.7 - 0.7 - ==== fred by YOURS after 0.7 - 0.7 - 0.7 - 0.7 - ==== fred by MINE after 0.7 - 0.7 - - - ==== fred by MINE after 0.7 - 0.7 - 0.7 - 0.7 - ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 14-iii. Modifying Freds on YOURS ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== fred by MINE before 0.7 - 0.7 - 0.7 - 0.7 - ==== fred by YOURS before 0.7 - 0.7 - 0.7 - 0.7 - ==== fred by YOURS after 0.7 - 0.7 - 0.7 - 0.7 - ==== fred by YOURS after 0.7 - 0.7 - - - ==== fred by YOURS after 0.7 - 0.7 - 0.7 - 0.7 - ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 15-iii. Modifying Maries ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== mary before 0.7 - 0.7 - 0.7 - 0.7 - ==== mary after 0.7 - 0.7 - - - ==== mary after 0.7 - 0.7 - 0.7 - 0.7 - ~~~~~~~~~~ End removal tests on Headed List: First ~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 16-i. Modifying Freds on MINE ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== fred by MINE before 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by YOURS before 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by MINE after 2.7 3.7 - 2.7 - 3.7 - 3.7 2.7 - ==== fred by YOURS after 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by MINE after 1.7 - 1.7 - - - ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 16-ii. Modifying Freds on YOURS ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== fred by MINE before 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by YOURS before 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by MINE after 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by YOURS after 2.7 3.7 - 2.7 - 3.7 - 3.7 2.7 - ==== fred by YOURS after 1.7 - 1.7 - - - ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 16-iii. Modifying Maries ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== mary before 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== mary after 2.7 3.7 - 2.7 - 3.7 - 3.7 2.7 - ==== mary after 1.7 - 1.7 - - - ~~~~~~~~~~ End removal tests on Headed List: Last ~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 17-i. Modifying Freds on MINE ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== fred by MINE before 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by YOURS before 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by MINE after 1.7 2.7 - 1.7 - 2.7 - 2.7 1.7 - ==== fred by YOURS after 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by MINE after 3.7 - 3.7 - - - ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 17-ii. Modifying Freds on YOURS ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== fred by MINE before 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by YOURS before 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by MINE after 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== fred by YOURS after 1.7 2.7 - 1.7 - 2.7 - 2.7 1.7 - ==== fred by YOURS after 3.7 - 3.7 - - - ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 17-iii. Modifying Maries ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ==== mary before 1.7 2.7 3.7 - 1.7 - 3.7 - 3.7 2.7 1.7 - ==== mary after 1.7 2.7 - 1.7 - 2.7 - 2.7 1.7 - ==== mary after 3.7 - 3.7 - - - ~~~~~~~~~~~~~~~~~~~ Ease-of-access cases ~~~~~~~~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 18-i. Modifying Freds on MINE ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Not implmented ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 18-ii. Modifying Freds on YOURS ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Not implmented ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Test 18-iii. Modifying Maries ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ accessor_cases done try_pop cases done origin_mutation cases done