/[eiffelstudio]/trunk/eweasel/tests/exec050/notes
ViewVC logotype

Contents of /trunk/eweasel/tests/exec050/notes

Parent Directory Parent Directory | Revision Log Revision Log


Revision 65297 - (show annotations)
Thu Nov 30 20:22:33 2006 UTC (12 years, 9 months ago) by manus
File size: 379 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 A class inherits three deferred features and joins and effects them.
2 The flatshort form of the heir class looks as expected, with all
3 alternative preconditions present in the expected order. But when the
4 system is executed, only one of the preconditions of the deferred
5 features is executed. In this case, postconditions seem to work correctly.
6
7 Discovered in Release 3.2.3b.
8

  ViewVC Help
Powered by ViewVC 1.1.23