Bug in VIS

From: Laurent Arditi (larditi@ti.com)
Date: Wed Jun 27 2001 - 06:22:51 MDT

  • Next message: Roderick Bloem: "Re: Bug in VIS"

    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  |

    This archive was generated by hypermail 2b30 : Wed Jun 27 2001 - 06:36:11 MDT