test_name vmcs-warning1
test_description Show a situation VMCS warning should be raised.

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

compile_melted
compile_result validity_warning B VMCS

test_end