test_name config-class-file-name-mismatch test_description Compiling a system where a class content has a different class name than the file should not trigger a VTCT error. copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e copy_raw test1.e $CLUSTER test1.e compile_melted compile_result ok test_end