How to fill a bug report
By following these recommendations, it will improve the speed of our
response to your problem.
A library bug
When you find a problem using a certain library in a specific context,
please send a complete package through the Web support page. If you
are using a precompiled library, make sure that the problem still occurs
when removing it. The package should contain your Ace file (without a
precompiled library), your Eiffel source code files and if any your
configuration files.
If the problem occurs only with a precompiled library, please look
below, it is most probably an EiffelBench misbehavior.
An EiffelBench bug
If EiffelBench is misbehaving or crashing for any reasons:
- Delete your EIFGEN
- Edit the file `general.cfg' located in $EIFFEL5/eifinit/bench and
replace the line `automatic_backup: False' by `automatic_backup:
True'.
- Edit the file `general.cfg' located in $EIFFEL5/eifinit/bench and
replace the line `fail_on_rescue: False' by `fail_on_rescue: True'.
- Change the es4 binary to use the RTEA version which gives more debug
information, useful to us to find what could be the problem:
- On Unix, in the directory $EIFFEL5/bench/spec/$PLATFORM/bin
rename es4 into old_es4 and es4_rtea into es4
- On Windows, in the directory $EIFFEL5/bench/spec/windows/bin
rename es4.exe into old_es4.exe and es4.exe-rtea into es4.exe
- Relaunch your compilation until it fails. On Windows, if a DOS
console appears, a copy of its content will be saved in
$EIFFEL5\bench\spec\windows\bin\exception_trace.log. On Unix, copy the
output into a file called `exception_trace.log'.
- Send us through the Web support page a package containing the file `exception_trace.log'
and the BACKUP directory located in your EIFGEN directory.
If it is an incremental misbehavior, follow step 1,2, 3. Repeat 4 until
your i-th compilation fails. Then follow step 5.
Other products bug
If you have a problem with any other ISE products, please send us the
detailed instruction that you followed to make the problem appears.
How to send the bug report
Go to http://support.eiffel.com/cgi-bin/submit-bug.pl
You can attach a file at the end of the page. |