If you bump into a bug, we would appreciate you could report the issue preferably using the nuXmv Bug Tracking system, or by email.
The bug report shall contain:
- A brief description of the identified problem
- All needed information to enable us to reproduce it
- Input files
- Sequence of commands
- Any further useful information, e.g. expected behavior.
To submit a bug report, or a feature request:
- Access the nuXmv Bug Tracker (preferable option)
(click "Login Anonymously" if login screen appears.)
- Alternatively, send an e-mail to nuxmv-users@list.fbk.eu