test_name non-conform-once-inheritance test_description A once inherited from a non-conforming inheritance crashes the compiler when code is execute, causes a C compilation error during finalization and possibly generate a precondition violation when you do not expect any to be violated. copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e copy_raw shared_any.e $CLUSTER shared_any.e copy_raw test1.e $CLUSTER test1.e copy_raw test2.e $CLUSTER test2.e compile_melted compile_result ok execute_work NONE exec_output_1 execute_result ok compare exec_output_1 output compile_final compile_result ok c_compile_final c_compile_result ok execute_final NONE exec_output_2 execute_result ok compare exec_output_2 output -- Now we redo the test with the same code but a different lace option cleanup_compile copy_sub Ace_rev1 $TEST Ace compile_melted compile_result ok execute_work NONE exec_output_3 execute_result ok compare exec_output_3 output compile_final compile_result ok c_compile_final c_compile_result ok execute_final NONE exec_output_4 execute_result ok compare exec_output_4 output test_end