--| Copyright (c) 1993-2021 University of Southern California, Eiffel Software 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 non-conforming-parent-can-be-frozen
test_description Test that non-conforming parent can be frozen.

copy_sub Ace $TEST Ace
copy_raw p1.e $CLUSTER p1.e

define PARENT ""
copy_sub application.e $CLUSTER application.e

compile_melted
compile_result 	ok
execute_work	NONE exec_output
execute_result ok
compare		exec_output output

define PARENT "P1"
copy_sub application.e $CLUSTER application.e

compile_melted
compile_result 	validity_error APPLICATION VIFI(1)

define PARENT "ANY"
copy_sub application.e $CLUSTER application.e

resume_compile
compile_result 	ok
execute_work	NONE exec_output
execute_result ok
compare		exec_output output

test_end