Contents of /trunk/eweasel/tests/final028/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       vicious-finalize-bug
test_description A routine that compares an INTEGER local with `feature {INTEGER}.Min_value' minus another local displays the wrong result, but only when code is finalized.

copy_sub        Ace $TEST Ace
copy_raw        test.e $CLUSTER test.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

compile_final
compile_result  ok

c_compile_final
c_compile_result ok

execute_final   NONE exec_output3
execute_result  ok
compare         exec_output3 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 vicious-finalize-bug
10	test_description A routine that compares an INTEGER local with `feature {INTEGER}.Min_value' minus another local displays the wrong result, but only when code is finalized.
11
12	copy_sub Ace $TEST Ace
13	copy_raw test.e $CLUSTER test.e
14
15	compile_melted
16	compile_result ok
17
18	execute_work NONE exec_output1
19	execute_result ok
20	compare exec_output1 output
21
22	compile_frozen
23	compile_result ok
24
25	c_compile_work
26	c_compile_result ok
27
28	execute_work NONE exec_output2
29	execute_result ok
30	compare exec_output2 output
31
32	compile_final
33	compile_result ok
34
35	c_compile_final
36	c_compile_result ok
37
38	execute_final NONE exec_output3
39	execute_result ok
40	compare exec_output3 output
41
42	test_end