ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log

Revision 83441 - (show annotations)
Sat Jun 5 13:52:53 2010 UTC (9 years, 8 months ago) by jasonw
File size: 188 byte(s)
Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.
1 An `old' expression in a class invariant is correctly reported to
2 violate VAOL. But when the `old' is removed, the compiler still
3 reports a VAOL violation.
5 Discovered in Release 3.1.1.

  ViewVC Help
Powered by ViewVC 1.1.23