test_name assertion-incorrect-type test_description When generating an agent written in a parent assertion in the descendant class we use the wrong class type instead of the descendant type. copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e copy_raw test1.e $CLUSTER test1.e compile_melted compile_result ok execute_work NONE exec_output_m execute_result ok compare exec_output_m output compile_frozen compile_result ok c_compile_work c_compile_result ok execute_work NONE exec_output_w execute_result ok compare exec_output_w output compile_final_keep compile_result ok c_compile_final c_compile_result ok execute_final NONE exec_output_f execute_result ok compare exec_output_f output test_end