test_name	config-class-file-name-mismatch-2
test_description Compiling a system where a class content has a different class name than the expected one should 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  validity_error TEST VTCT

test_end