test_name sorted-two-way-list-invariant-violation test_description Because `twin' was not properly implemented in SORTED_TWO_WAY_LIST, this could generate an invariant violation when callign `twin'. copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e compile_melted compile_result ok execute_work NONE exec_output execute_result ok compare exec_output output test_end