Bug Reports

If 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 complete the following form and send it to us as an email. Your message will be treated as confidential information.

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

Name:

Surname:

E-Mail:

The NuSMV example generating the bug:

The NuSMV execution output of the above example:

Bug description:

The operating system you are using NuSMV on:

[ ] Linux [ ] Solaris [ ] Sun4 (SunOS) [ ] DEC-Alpha [ ] DEC-Mips [ ] HP-UX

[ ] Windows95 [ ] Windows NT [ ] Windows XP [ ] Windows 2004 Server [ ] Windows Vista

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

The NuSMV execution output of the above example:

Bug description:

The operating system you are using NuSMV on:
[ ] Linux [ ] Solaris [ ] Sun4 (SunOS) [ ] DEC-Alpha [ ] DEC-Mips [ ] HP-UX [ ] Windows95 [ ] Windows NT [ ] Windows XP [ ] Windows 2004 Server [ ] Windows Vista

Return to the NuSMV Home Page.

NuSMV <