Report bug

If you find a bug in our tools, please send us a mail at aadl-devel at listes.enst.fr.

If you want to report a bug, please provide:

• The command that causes the bug
• Your version of Ocarina (the command ocarina -V outputs your version of Ocarina)
• Your AADL models
• Your application code (if you try to generate code)
• Everything useful to reproduce the bug

Note that we do not provide a commercial support to Ocarina. However, it's always a pleasure when we can help our users.