--| 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-incremental-crash
test_description Originally intended to test whether the proper VTGD error is thrown for its specified error condition. While debugging the original bug I hit another bug which is now reproduced by this test.


define VTGD1_1 ""
define VTGD1_2 ""
define VTGD2_1 ""
define VTGD3_1 ""

copy_sub 	Ace $TEST Ace
copy_sub 	test.e $CLUSTER test.e
copy_raw 	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

define VTGD2_1 "--"
copy_sub 	test.e $CLUSTER test.e
resume_compile
-- Crash
compile_result 	validity_error TEST VTCG VTCG

test_end