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

Contents of /trunk/eweasel/tests/exec091/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 100465 - (show annotations)
Tue Jun 13 14:43:09 2017 UTC (2 years, 2 months ago) by alexk
File size: 1383 byte(s)
Extended test with more cases:
	- expanded objects with references
	- special objects with expanded parameter

1 --| Copyright (c) 1993-2017 University of Southern California, Eiffel Software and contributors.
2 --| All rights reserved.
3 --| Your use of this work is governed under the terms of the GNU General
4 --| Public License version 2.
5
6 -- This is a test control file
7
8 test_name expanded-skip-class-invariant
9 test_description The class invariant should be checked after creation/initialization of an entity of an expanded type, but it is not. Invariant checking works correctly for non-expanded types.
10
11 copy_sub Ace $TEST Ace
12 copy_raw test.e $CLUSTER test.e
13
14 copy_raw tester_0.e $CLUSTER tester.e
15 copy_raw expanded_basic_0.e $CLUSTER expanded_basic.e
16 copy_raw expanded_reference_0.e $CLUSTER expanded_reference.e
17
18 compile_frozen
19 compile_result ok
20 c_compile_work
21 c_compile_result ok
22
23 copy_raw tester.e $CLUSTER tester.e
24 copy_raw expanded_basic.e $CLUSTER expanded_basic.e
25 copy_raw expanded_reference.e $CLUSTER expanded_reference.e
26
27 compile_melted
28 compile_result ok
29 execute_work NONE exec_output_m
30 execute_result ok
31 compare exec_output_m output
32
33 compile_frozen
34 compile_result ok
35 c_compile_work
36 c_compile_result ok
37 execute_work NONE exec_output_w
38 execute_result ok
39 compare exec_output_w output
40
41 compile_final_keep
42 compile_result ok
43 c_compile_final
44 c_compile_result ok
45 execute_final NONE exec_output_f
46 execute_result ok
47 compare exec_output_f output
48
49 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23