ViewVC logotype

Contents of /branches/eth/eve/eweasel/tests/melt023/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: 820 byte(s)
Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.
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.
7 -- This is a test control file
9 test_name old-expanded-melted-creations
10 test_description A class has a routine with a postcondition which references `old arg' where `arg' (the routine's argument) is of an expanded type. When postconditions are monitored and the system is melted, evaluation of the postcondition appears to incorrectly cause some creations of objects of the expanded type.
12 copy_sub Ace $TEST Ace
13 copy_raw test.e $CLUSTER test.e
14 copy_raw test1.e $CLUSTER test1.e
15 compile_melted
16 compile_result ok
18 execute_work NONE exec_output1
19 execute_result ok
20 compare exec_output1 output
22 test_end


Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23