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 |
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.