/[eiffelstudio]/trunk/Src/eweasel/tests/exec052/notes
ViewVC logotype

Contents of /trunk/Src/eweasel/tests/exec052/notes

Parent Directory Parent Directory | Revision Log Revision Log


Revision 65296 - (show annotations)
Thu Nov 30 19:56:25 2006 UTC (13 years, 3 months ago) by manus
File size: 193 byte(s)
Initial revision for the eweasel delivery provided by David Hollenberg
  from the University of Southern California under the GPL v2.0 license.

1 A class creates an ARRAYED_LIST [STRING] and then clones it. The
2 class compiles fine, but when the system is executed the postcondition
3 of `clone' is violated.
4
5 Discovered in Release 3.2.3b.
6

  ViewVC Help
Powered by ViewVC 1.1.23