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:firstname.lastname@example.org, 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.
$HOME/.qgen/log.* may also bring some useful information when reporting
a bug. The log file is kept under a separate name,
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
the HTML report generated by QGen Verifier