test_name add-unique test_description If you have a class with a unique constant, and that there is an error, then if you hadd a new unique constant, its value is 0 instead of the previous unique value + 1. copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e compile_melted compile_result validity_error TEST VEEN copy_raw test_rev1.e $CLUSTER test.e resume_compile compile_result ok execute_work NONE exec_output1 execute_result ok compare exec_output1 output test_end