/[eiffelstudio]/branches/eth/eve/eweasel/tests/exec172/tcf
ViewVC logotype

Annotation of /branches/eth/eve/eweasel/tests/exec172/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 83441 - (hide annotations)
Sat Jun 5 13:52:53 2010 UTC (9 years, 8 months ago) by jasonw
File size: 1085 byte(s)
Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.
1 manus 65296
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 external-static-access
10     test_description An external function `value: INTEGER' which is "C inline" has a postcondition `value = 29'. If this feature is called via static access `feature {TEST1}.value', system execution dies with a segmentation fault in the postcondition.
11    
12     define FROZEN ""
13     define ASSERTION "ok: value = 47"
14     copy_sub Ace $TEST Ace
15     copy_raw test.e $CLUSTER test.e
16     copy_sub test1.e $CLUSTER test1.e
17     compile_frozen
18     compile_result validity_error TEST VSTA(2)
19    
20     define FROZEN "frozen"
21     copy_sub test1.e $CLUSTER test1.e
22     resume_compile
23     compile_result validity_error TEST VSTA(2)
24    
25     define ASSERTION ""
26     copy_sub test1.e $CLUSTER test1.e
27     resume_compile
28     compile_result ok
29    
30     c_compile_work
31     c_compile_result ok
32    
33     execute_work NONE exec_output1
34     execute_result ok
35     compare exec_output1 output
36    
37     test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23