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

Annotation of /trunk/eweasel/tests/incr331/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 78882 - (hide annotations)
Tue May 26 22:42:16 2009 UTC (10 years, 9 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 dhollen 78882
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