--| 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 	 expand-generic-remove-creation
test_description After initial compilation, a class TEST2 which is used as an actual generic parameter (where the corresponding formal generic parameter has creation procedures specified and is used to declare attributes) is changed so that it is an expanded class.  One of the creation procedure names is also removed from the generic constraint.  When the system is recompiled, system execution dies with a segmentation fault.

define CREATE_INSTRUCTIONS "create x1.default_create create x2.make2"
define EXPANDED ""
define CREATION_PROCS "default_create, make2"
copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_sub 	test1.e $CLUSTER test1.e
copy_sub 	test2.e $CLUSTER test2.e
compile_melted
compile_result 	ok

define CREATE_INSTRUCTIONS "create x1.default_create"
define EXPANDED "expanded"
define CREATION_PROCS "default_create"
copy_sub 	test1.e $CLUSTER test1.e
copy_sub 	test2.e $CLUSTER test2.e
compile_melted
compile_result 	ok

execute_work 	NONE 	exec_output1
execute_result 	ok
compare		exec_output1 output

test_end