/[eiffelstudio]/trunk/Src/eweasel/tests/incr082/tcf
ViewVC logotype

Contents of /trunk/Src/eweasel/tests/incr082/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 65296 - (show annotations)
Thu Nov 30 19:56:25 2006 UTC (13 years, 1 month ago) by manus
File size: 1118 byte(s)
Initial revision for the eweasel delivery provided by David Hollenberg
  from the University of Southern California under the GPL v2.0 license.

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 name-exists-invariant
10 test_description The "Hello weasel" program compiles and executes fine with `assertion (all)' and no precompiled cluster. Then file "string_8.e" is excluded from the kernel cluster. After the VD23 errors are reported, the exclude clause is removed and compilation completes. System is re-executed.
11
12 define EXCLUDE ""
13 copy_sub Ace $TEST Ace
14 copy_raw test.e $CLUSTER test.e
15 compile_frozen
16 compile_result ok
17
18 c_compile_work
19 c_compile_result ok
20
21 execute_work NONE exec_output1
22 execute_result ok
23 compare exec_output1 output1
24
25 define EXCLUDE "<exclude>string_8.e</exclude>"
26 copy_sub Ace $TEST Ace
27 compile_melted
28 compile_result validity_error NONE VD23
29
30 define EXCLUDE ""
31 copy_sub Ace $TEST Ace
32 resume_compile
33 compile_result ok
34
35 execute_work NONE exec_output2
36 execute_result ok
37 compare exec_output2 output1
38
39 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23