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

Contents of /branches/eth/eve/eweasel/tests/exec057/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 83441 - (show annotations)
Sat Jun 5 13:52:53 2010 UTC (9 years, 7 months ago) by jasonw
File size: 843 byte(s)
Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.
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 array-of-expanded-insert-fails
10 test_description A class creates an ARRAY [expanded FOO] and then fills it up with elements of type `expanded FOO'. When the system is frozen with `assertion (ensure)' and then executed it dies with a segmentation fault while evaluating the postcondition `insertion_done' of `put' in ARRAY.
11
12 copy_sub Ace $TEST Ace
13 copy_raw test.e $CLUSTER test.e
14 copy_raw test1.e $CLUSTER test1.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 1000
22 execute_result ok
23 compare exec_output1 output
24
25 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23