ViewVC logotype

Contents of /branches/eth/eve/eweasel/tests/exec172/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: 265 byte(s)
Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.
1 An external function `value: INTEGER' which is "C inline" has a
2 postcondition `value = 29'. If this feature is called via static
3 access `feature {TEST1}.value', system execution dies with a
4 segmentation fault in the postcondition.
6 Discovered in release 5.4.0709.

  ViewVC Help
Powered by ViewVC 1.1.23