.. _error_reporting:

==============================
Reporting Suggestions and Bugs
==============================

If you would like to make suggestions about QGen or if you encounter a bug,
please use GNAT Tracker (from AdaCore's corporate website `http://www.adacore.com
<http://www.adacore.com>`_ click on `GNATtracker Access` at the top of the page
then enter your username and password), section 'send a report'.
Alternatively submit a bug report by email to mailto:qgen@adacore.com,
including your customer number #nnn in the subject and a meaningful subject
line.

Please try to include a detailed description of the problem, including models
to reproduce it if needed, and/or a scenario describing the actions performed
to reproduce the problem. If possible, please include the model file and/or the
exported XMI files.

The files ``$HOME/.qgen/log.*`` may also bring some useful information when reporting
a bug. The log file is kept under a separate name, ``$HOME/.qgen/log.<date_time>``,
where <date_time> is the date and time when QGen was executed. Be sure to include
the right log file when reporting a bug.

QGen Verifier
^^^^^^^^^^^^^

When encountering issues with QGen Verifier, please have a look at the
:ref:`qgenv_troubleshooting` section. When reporting an issue, try if
possible to include:

 * the original model and/or generated XMI
 * the CSV output generated by QGen Verifier
 * the database folder that can be found in
   ``<output_folder>/.codepeer_<level>``.
 * the HTML report generated by QGen Verifier