Contents of /trunk/eweasel/tests/melt025/tcf


--| 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       bit-two-to-the-twenty-four
test_description A class has a procedure with a local entity of type BIT N, where N is >= 2 ^ 24.  The system compiles fine, but when executed it dies with a run-time panic if it was melted.  Frozen code works fine for BIT sizes up to at least 200_000_000.

copy_sub        Ace $TEST Ace
define          BIT_LENGTH 20_000_000
copy_sub        test.e $CLUSTER test.e
compile_melted
compile_result  validity_error TEST VTBT

define          BIT_LENGTH 32767
copy_sub        test.e $CLUSTER test.e
resume_compile

compile_result  ok

execute_work    NONE    exec_output1
execute_result  ok
compare         exec_output1 output

test_end
1
2	--\| Copyright (c) 1993-2006 University of Southern California and contributors.
3	--\| All rights reserved.
4	--\| Your use of this work is governed under the terms of the GNU General
5	--\| Public License version 2.
6
7	-- This is a test control file
8
9	test_name bit-two-to-the-twenty-four
10	test_description A class has a procedure with a local entity of type BIT N, where N is >= 2 ^ 24. The system compiles fine, but when executed it dies with a run-time panic if it was melted. Frozen code works fine for BIT sizes up to at least 200_000_000.
11
12	copy_sub Ace $TEST Ace
13	define BIT_LENGTH 20_000_000
14	copy_sub test.e $CLUSTER test.e
15	compile_melted
16	compile_result validity_error TEST VTBT
17
18	define BIT_LENGTH 32767
19	copy_sub test.e $CLUSTER test.e
20	resume_compile
21
22	compile_result ok
23
24	execute_work NONE exec_output1
25	execute_result ok
26	compare exec_output1 output
27
28	test_end