Bug Reporting

If, while using NuSMV you find a bug, please save the input file, re-execute it saving both standard output and standard error in a file. This can be done in the following way (depending on the Unix shell you are using):

• (ba)sh   NuSMV bug.smv >./bugs_io_error 2>&1
• (t)csh   NuSMV bug.smv >& ./bugs_io_error

then and fill in the provided form with the information you just collected. Your message will be treated as confidential information.

You should see a prewritten template for bug reporting, if not, please refer to the following template:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

Name: 
Surname: 
E-mail: 
The NuSMV example generating the bug:


The NuSMV execution output of the above example:


Bug description:


Your operating system:
[ ] Linux
[ ] Solaris
[ ] Sun4 (SunOS)
[ ] DEC-Alpha
[ ] DEC-Mips
[ ] HP-UX
[ ] Windows95
[ ] Windows NT
[ ] Windows XP
[ ] Windows 2004 Server
[ ] Windows Vista
(please select yours and remove the others, if your OS is not listed, add it)

And send an e-mail to . Thank you for your help.