-- This is a test control file

test_name multi-constraint-vtmc4
test_description This test should trigger a VTMC4 error.

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	a.e $CLUSTER a.e
copy_raw 	b.e $CLUSTER b.e
copy_raw 	c.e $CLUSTER c.e
copy_raw 	bc.e $CLUSTER bc.e
copy_raw 	non_multi.e $CLUSTER non_multi.e
copy_raw 	multi.e $CLUSTER multi.e


compile_melted
compile_result validity_error MULTI VTMC(4)

test_end