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

Contents of /trunk/eweasel/tests/valid269/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 85262 - (show annotations)
Wed Jan 5 18:25:47 2011 UTC (9 years ago) by dhollen
File size: 320 byte(s)
Added test valid269 for bug #17259, where a root creation procedure with
precondition `require else False' should be a VSRP(3) error since routine is
not a redeclaration.

1
2 test_name bogus-vsrp3-with-require-else-false
3 test_description A root creation procedure with precondition `require else valid: False' should be a VSRP(3) error but the compiler accepts it.
4
5 copy_sub Ace $TEST Ace
6 copy_raw test.e $CLUSTER test.e
7
8 compile_melted
9 compile_result validity_error NONE VSRP(3)
10
11 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23