fstReaderOpen failed for temporary FST file

[avelure]

I get
** Fatal: 1050ns+3: fstReaderOpen failed for temporary FST file
when trying to create a VCD file with the command
nvc --std=08 -e test-beh -r -w --format=vcd

I get a temp.fst file and a test-beh.vcd, however the vcd file is empty.

[nickg]

I couldn't reproduce this (but I only used a simple test case). Can you try running the fst2vcd program that comes with GtkWave on the temp.fst file and see if that gives any error?

[avelure]

It was the same reproducer as in #614.
fst2vcd has no problems converting it and both fst and vcd shows fine in gtkwave.