10. 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 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.

10.1. QGen Verifier

When encountering issues with QGen Verifier, please have a look at the QGen Verifier Constraints 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