From: Tobe Toben (tobe.toben_at_informatik.uni-oldenburg.de)
Date: Wed Sep 08 2004 - 13:16:33 MDT
Dear vis community,
I encountered a segmentation fault after invoking the model_check
command. I've attachted the example, running 'vis < call' should
reproduce the bug with the current vis release.
A debug run reveals a null pointer returned by Cudd_bddPickOneMinterm in
file cuPort.c at line 4617. So the problem looks similiar to the bug
report of Laurent Arditi:
Maybe one of the experts can have a look at this.
This archive was generated by hypermail 2.1.7 : Wed Sep 08 2004 - 13:23:47 MDT