/[eiffelstudio]/trunk/eweasel/tests/incr331/tcf
ViewVC logotype

Contents of /trunk/eweasel/tests/incr331/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 78882 - (show annotations)
Tue May 26 22:42:16 2009 UTC (10 years, 7 months ago) by dhollen
File size: 982 byte(s)
Added eweasel test incr331 for bug #15876, where a sequence of changes ending with
a finalize causes a C compilation failure due to a return value type mismatch.

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 return-value-type-mismatch
10 test_description A sequence of changes ending with system finalization produces C code that won't compile due to a return value type mismatch and other errors
11
12 copy_sub Ace $TEST Ace
13 copy_raw test.e $CLUSTER test.e
14 copy_raw test1.e $CLUSTER test1.e
15 copy_raw test2.e $CLUSTER test2.e
16 compile_frozen
17 compile_result ok
18
19 copy_raw test_rev1.e $CLUSTER test.e
20 copy_raw test1_rev1.e $CLUSTER test1.e
21 copy_raw test2_rev1.e $CLUSTER test2.e
22 compile_final
23 compile_result validity_error TEST1 VDRD(2)
24
25 copy_raw test1_rev2.e $CLUSTER test1.e
26 resume_compile
27 compile_result ok
28
29 c_compile_final
30 c_compile_result ok
31
32 execute_final NONE exec_output1
33 execute_result ok
34 compare exec_output1 output
35
36 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23