--| 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 	del-add-kernel-cluster
test_description Compile without precompilation, remove and add kernel cluster plus missing cluster

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
compile_melted
if not DOTNET compile_result 	validity_error ABSTRACT_SPECIAL VTCT ; ANY VTCT VTCT ; ARRAY VTCT ; ARRAYED_LIST VTCT VTCT VTCT ; BOX VTCT ; CHAIN VTCT VTCT VTCT VTCT ; COM_FAILURE VTCT VTCT ; DYNAMIC_CHAIN VTCT ; EXCEPTION VTCT ; FILE VTCT VTCT VTCT VTCT VTCT ; INTEGER_INTERVAL VTCT VTCT ; IO_MEDIUM VTCT ; ISE_EXCEPTION_MANAGER VTCT VTCT ; LINEAR VTCT VTCT ; LIST VTCT ; NUMERIC VTCT ; POINTER_REF VTCT ; READABLE_STRING_32 VTCT ; READABLE_STRING_8 VTCT ; READABLE_STRING_GENERAL VTCT ; ROUTINE VTCT ; SEQUENCE VTCT ; SPECIAL VTCT ; STRING_32 VTCT VTCT ; STRING_8 VTCT VTCT ; TRAVERSABLE VTCT ; TUPLE VTCT VTCT VTCT ; TYPE VTCT
if DOTNET compile_result 	validity_error ABSTRACT_SPECIAL VTCT ; ANY VTCT VTCT ; ARRAY VTCT ; ARRAYED_LIST VTCT VTCT VTCT ; BOX VTCT ; CHAIN VTCT VTCT VTCT VTCT ; COM_FAILURE VTCT VTCT ; DIRECTORY VTCT ; DYNAMIC_CHAIN VTCT ; EXCEPTION VTCT ; FILE VTCT VTCT VTCT ; INTEGER_INTERVAL VTCT VTCT ; IO_MEDIUM VTCT ; ISE_EXCEPTION_MANAGER VTCT VTCT ; LINEAR VTCT VTCT ; LIST VTCT ; NUMERIC VTCT ; RAW_FILE VTCT ; READABLE_STRING_32 VTCT ; READABLE_STRING_8 VTCT ; READABLE_STRING_GENERAL VTCT ; ROUTINE VTCT ; SEQUENCE VTCT ; SPECIAL VTCT ; STRING_32 VTCT VTCT ; STRING_8 VTCT VTCT ; TRAVERSABLE VTCT ; TUPLE VTCT VTCT ; TYPE VTCT VTCT

copy_sub 	Ace_rev1 $TEST Ace
resume_compile
if not DOTNET compile_result 	validity_error NONE VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23
if DOTNET compile_result 	validity_error NONE VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23 VD23

copy_sub 	Ace_rev2 $TEST Ace
resume_compile
if not DOTNET compile_result 	validity_error ABSTRACT_SPECIAL VTCT ; ANY VTCT VTCT ; ARRAYED_LIST VTCT VTCT VTCT ; CHAIN VTCT ; COM_FAILURE VTCT VTCT ; CURSOR_STRUCTURE VTCT ; DYNAMIC_CHAIN VTCT ; EXCEPTION VTCT ; FILE VTCT VTCT VTCT VTCT VTCT ; INTEGER_INTERVAL VTCT ; IO_MEDIUM VTCT ; ISE_EXCEPTION_MANAGER VTCT VTCT ; LINEAR VTCT ; LIST VTCT ; NUMERIC VTCT ; POINTER_REF VTCT ; READABLE_INDEXABLE VTCT ; READABLE_STRING_GENERAL VTCT ; ROUTINE VTCT ; STRING_32 VTCT ; STRING_8 VTCT ; TUPLE VTCT VTCT VTCT ; TYPE VTCT
if     DOTNET compile_result 	validity_error ABSTRACT_SPECIAL VTCT ; ANY VTCT VTCT ; ARRAYED_LIST VTCT VTCT VTCT ; CHAIN VTCT ; COM_FAILURE VTCT VTCT ; CURSOR_STRUCTURE VTCT ; DIRECTORY VTCT ; DYNAMIC_CHAIN VTCT ; EXCEPTION VTCT ; FILE VTCT VTCT VTCT ; INTEGER_INTERVAL VTCT ; IO_MEDIUM VTCT ; ISE_EXCEPTION_MANAGER VTCT VTCT ; LINEAR VTCT ; LIST VTCT ; NUMERIC VTCT ; RAW_FILE VTCT ; READABLE_INDEXABLE VTCT ; READABLE_STRING_GENERAL VTCT ; ROUTINE VTCT ; STRING_32 VTCT ; STRING_8 VTCT ; TUPLE VTCT VTCT ; TYPE VTCT VTCT

test_end