--| 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 melted-invariant-memory-leak test_description A class A repeatedly calls a procedure on an instance of another class B. Class B has a class invariant with a call to a function of class B, which in turn calls a function on an attribute of type C. The system compiles fine, but when executed it quickly runs out of memory if the system was melted and if `assertion (invariant)' is specified in the Ace. copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e copy_raw test1.e $CLUSTER test1.e copy_raw child.e $CLUSTER child.e compile_melted compile_result ok execute_work NONE exec_output1 100000 execute_result ok compare exec_output1 output test_end