ViewVC logotype

Contents of /trunk/eweasel/tests/incr272/tcf

Parent Directory Parent Directory | Revision Log Revision Log

Revision 65297 - (show annotations)
Thu Nov 30 20:22:33 2006 UTC (13 years ago) by manus
File size: 397 byte(s)
Moved from trunk/Src/eweasel to trunk/eweasel so that a simple checkout of the source code is not penalized by the lenghty process of checking out all the tests of eweasel.
1 test_name wiping-out-types
2 test_description After finalizing a system a new type is introduced, but it causes a precondition violation in the compiler.
4 copy_sub Ace $TEST Ace
5 copy_raw test.e $CLUSTER test.e
6 copy_raw test1.e $CLUSTER test1.e
8 compile_final
9 compile_result ok
11 copy_raw test_rev1.e $CLUSTER test.e
12 copy_raw test2.e $CLUSTER test2.e
14 compile_melted
15 compile_result ok
17 test_end


Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23