ViewVC logotype

Contents of /branches/eth/eve/eweasel/tests/melt071/notes

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: 183 byte(s)
Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.
1 A class redefine a routine with an old expression in the
2 postcondition, then it would crash while evaluating the
3 old expression in melted mode only.
5 Discovered in release 5.9.0909.

  ViewVC Help
Powered by ViewVC 1.1.23