Laurent,
You have uncovered a bug in Cudd. In the next message, I will send you
a file that should fix the bug. We will have to do some more testing,
and then we will think about how exactly we want to release the bug fix
to the world.
Thank you for your report!
Roderick.
Laurent Arditi wrote:
>
> All,
>
> I run VIS release 1.4 on Solaris 5.7, and sometimes I am getting a
> segmentation fault.
> You will find attached a .tar.gz containing all the files needed to
> reproduce the bug. Just run vis with dummy.vis.
>
> I started to debug and found out the call
> minterm = Cudd_bddPickOneMinterm(f->mgr, f->node, vars, n);
> in cuPort.c:4652 returns NULL just before the crash.
> The other function calls may have problems dealing with NULL.
> I tried to put a return NIL(bdd_t) before those calls when
> minterm==NULL. That helps a little bit. But I have another
> segmentation fault later. Then I gave up...
>
> Could you please look at that and let me know?
>
> Thanks in advance,
> Laurent.
> --
> ============================================================ |\/\/\/|
> Laurent Arditi Texas Instruments. MS. 21, BP 5 | |
> Email: larditi@ti.com 06271 Villeneuve-Loubet Cedex ( O O )
> Tel: +33 (0)4 9322 2856 FRANCE | o |
>
> ------------------------------------------------------------------------
> Name: dummy.tar.gz
> dummy.tar.gz Type: Unix Tape Archive (application/x-tar)
> Encoding: base64
This archive was generated by hypermail 2b30 : Fri Jun 29 2001 - 10:55:47 MDT