--| 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 	 infix-inherited-assertions
test_description When a generic class inherits a post-condition with an infix routine it fails at execution on a call on void target instead of satisfying the post-condition.

copy_sub 	 Ace $TEST Ace
copy_raw 	 test.e  $CLUSTER test.e
copy_raw 	 parent.e  $CLUSTER parent.e
copy_raw 	 child.e  $CLUSTER child.e
compile_melted
compile_result 	 ok

compile_frozen
compile_result  ok

c_compile_work
c_compile_result ok

execute_work		 NONE exec_output
execute_result	 ok

copy_raw	test.e-rev1 $CLUSTER test.e

compile_frozen
compile_result	ok

c_compile_work
c_compile_result ok

execute_work	NONE exec_output
execute_result ok

test_end