This site contains older material on Eiffel. For the main Eiffel page, see http://www.eiffel.com.

Known Bugs

This is the list of known bugs in EiffelBench version 4.2F.

To main support page.

Class name change

    Problem: when saving a class whose name has been changed, EiffelBench will crash.

    Workaround: change the name of the class in an external editor and melt your system.

    Status: fixed for next release.

Precompilation under Windows 95

    Problem: when precompiling WEL using a precompilation of EiffelBase, EiffelBench will crash at the end of degree 6.

    Workaround: precompile WEL without a precompilation of EiffelBase.

    Status: under investigation.

Single click in project directory selection

    Problem: when clicking once on a folder name during the project directory selection and clicking the "ok" button, a dialog box popup which says "Directory does not exit". When clicking on the "ok" button of this dialog box, EiffelBench crashes.

    Workaround: double click on the folder name instead of clicking once and pressing the "ok" button.

    Status: fixed. (If you experience this problem you can download the latest version from eiffel.com.)

Unix/Linux: find and replace

    Problem: find and replace features are working properly only in text format.

    Status: under investigation.

Linux: keyboard accelerators

    Problem: keyboard accelerators are disabled under Linux.

    Status: under investigation.

Switching from precompilation to another compile mode

    Problem: it is not possible to switch from precompilation to another mode during the compilation. If you do so, EiffelBench will crash

    Workaround: always resume a precompilation by choosing "precompile" in the compile menu.

    Status: fixed for next release.