Laurent,
I agree with you that this is a bug. We are working on it. We should
have a fix by the end of the week.
Thanks for your feedback!
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 : Wed Jun 27 2001 - 11:46:52 MDT