--| 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 	 parent-invariants-reverse-order
test_description When a class has two or more parents, the invariant of the heir class is supposed to start with the invariants of all parents in the order of appearance of the parent clauses in the heir.  But when the system is executed, the invariants are monitored in reverse order of the parent clauses.

copy_sub 	 Ace $TEST Ace
copy_raw 	 test.e  $CLUSTER test.e
copy_raw 	 test1.e  $CLUSTER test1.e
copy_raw 	 test2.e  $CLUSTER test2.e
copy_raw 	 test3.e  $CLUSTER test3.e
copy_raw 	 shared.e  $CLUSTER shared.e
compile_melted
compile_result 	 ok

execute_work	 NONE exec_output1
execute_result	 ok
compare		 exec_output1 output

compile_frozen
compile_result 	 ok

c_compile_work
c_compile_result ok

execute_work	 NONE exec_output2
execute_result	 ok
compare		 exec_output2 output

test_end