--| Copyright (c) 1993-2006 University of Southern California and contributors.
--| All rights reserved.
--| Your use of this work is governed under the terms of the GNU General
--| Public License version 2.

-- This is a test control file

test_name multi-constraint-vtgd
test_description Tests whether the proper VTGD error is thrown for its specified error condition.


define VTGD1_1 ""
define VTGD1_2 ""
define VTGD2_1 ""
define VTGD3_1 ""
define EXPANDED "expanded"

copy_sub 	Ace $TEST Ace
copy_sub 	test.e $CLUSTER test.e
copy_sub 	multi.e $CLUSTER multi.e
copy_raw 	comparable_numeric.e $CLUSTER comparable_numeric.e
compile_melted
compile_result 	validity_error TEST VTUG(2) VTCG VTUG(2)

--replace with VTGD(1) once all error codes are redone

define VTGD1_1 "--"
define VTGD2_1 "--"
define VTGD3_1 "--"
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VTUG(2)
--replace with VTGD(1) once all error codes are redone

define VTGD1_2 "--"
define VTGD2_1 ""
define VTGD3_1 ""
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VTCG
--replace with VTGD(2) once all error codes are redone

define VTGD2_1 "--"
define EXPANDED ""
copy_sub 	test.e $CLUSTER test.e
copy_sub 	multi.e $CLUSTER multi.e

resume_compile
compile_result 	validity_error TEST VTCG
-- VTGD(3)

define VTGD3_1 "--"
define EXPANDED "expanded"
copy_sub 	test.e $CLUSTER test.e
copy_sub 	multi.e $CLUSTER multi.e
resume_compile
compile_result 	validity_error TEST VTCG VTCG

define EXPANDED ""
copy_sub 	multi.e $CLUSTER multi.e
resume_compile
compile_result ok

test_end