/[eiffelstudio]
ViewVC logotype

Revision 71553


Jump to revision: Previous Next
Author: tedf
Date: Tue Dec 18 03:32:18 2007 UTC (12 years, 1 month ago)
Changed paths: 15
Log Message:
Changes accompanied with integration of EAO:
- Modified tcfs of exceptXXX to compare different output, since `message' of VOID_TARGET is not implemented on .NET.
- Changed invariant violation to check violation, so that except011 is not affected by the issue of the place of invariant generated and indeed shows the correct behavior.
- Corrected output file of except012.
- Modified output of exec180, since the trace is empty when there is no exception.
- Modified exec191, since there is no such rescue exception anymore.
- Modified output of freez005, since old violation is thrown in the post condition according to ECMA.
- Modified incr135, using `is_debug_mode' in eif_main.h instead of `eeocode' in eif_except.h. Since the interface has been removed.

Changed paths

Path Details
Directorytrunk/eweasel/tests/except003/tcf modified , text changed
Directorytrunk/eweasel/tests/except004/tcf modified , text changed
Directorytrunk/eweasel/tests/except006/tcf modified , text changed
Directorytrunk/eweasel/tests/except007/tcf modified , text changed
Directorytrunk/eweasel/tests/except009/tcf modified , text changed
Directorytrunk/eweasel/tests/except011/a.e modified , text changed
Directorytrunk/eweasel/tests/except011/output modified , text changed
Directorytrunk/eweasel/tests/except011/output1 modified , text changed
Directorytrunk/eweasel/tests/except011/tcf modified , text changed
Directorytrunk/eweasel/tests/except012/output modified , text changed
Directorytrunk/eweasel/tests/exec180/output modified , text changed
Directorytrunk/eweasel/tests/exec191/test_.e modified , text changed
Directorytrunk/eweasel/tests/freez005/output modified , text changed
Directorytrunk/eweasel/tests/incr135/tcf modified , text changed
Directorytrunk/eweasel/tests/incr135/test.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23