ViewVC logotype

Contents of /branches/eth/eve/eweasel/tests/exec057/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: 307 byte(s)
Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.
1 A class creates an ARRAY [expanded FOO] and then fills it up with
2 elements of type `expanded FOO'. When the system is frozen with
3 `assertion (ensure)' and then executed it dies with a segmentation
4 fault while evaluating the postcondition `insertion_done' of `put' in ARRAY.
6 Discovered in Release 3.2.3b.

  ViewVC Help
Powered by ViewVC 1.1.23