ViewVC logotype

Contents of /branches/eth/eve/eweasel/tests/melt023/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: 398 byte(s)
Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.
1 A class has a routine with a postcondition which references `old arg'
2 where `arg' (the routine's argument) is of an expanded type. When
3 postconditions are monitored and the system is melted, evaluation of
4 the postcondition appears to incorrectly cause some creations of
5 objects of the expanded type. Frozen code works as expected, with no
6 hidden object creations.
8 Discovered in Release 3.2.3b.

  ViewVC Help
Powered by ViewVC 1.1.23