test_name 	correct-vpir-violation
test_description A violation against vpir is corrected but still reported as error

define A a

copy_sub 	Ace $TEST Ace
copy_sub 	test.e $CLUSTER test.e

compile_melted
compile_result validity_error TEST VPIR(1)

--exit_compile

define A l_a

copy_sub	test.e $CLUSTER test.e

resume_compile
--compile_melted
compile_result ok

test_end