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

Contents of /trunk/eweasel/tests/incr156/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 67287 - (show annotations)
Wed Mar 14 16:41:25 2007 UTC (12 years, 10 months ago) by martins
File size: 945 byte(s)
- Adapted old tests to new error codes where necessary.
- Adapted tests which failed because now we support fully recursive generics.
- Added new multi constraint tests.
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 resume-vtcg-none-actual
10 test_description A pair of generic classes that mention each other in their formal generic constraints is invalid. When some of the actual generic parameters are NONE, the compiler correctly detects the VTCG error. But when compilation is resumed without any change to the classes, the compiler dies with a bus error.
11
12 copy_sub Ace $TEST Ace
13 copy_raw test.e $CLUSTER test.e
14 copy_sub test1.e $CLUSTER test1.e
15 copy_raw test2.e $CLUSTER test2.e
16 compile_melted
17 compile_result validity_error TEST1 VTCG; TEST2 VTCG
18
19 resume_compile
20 compile_result validity_error TEST1 VTCG; TEST2 VTCG
21
22 resume_compile
23 compile_result validity_error TEST1 VTCG; TEST2 VTCG
24
25
26 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23