alliance-support '01
BUG Tool: pb dallocation mmoire avec syf


thomas.rouam@asim.lip6.fr
Fri, 2 Nov 2001 17:14:39 +0100 (MET)

 ('binary' encoding is not supported, stored as-is)
 ('binary' encoding is not supported, stored as-is)

Begin Alliance bug report 1.4 ------------------------------------------------------------------- Posted on : 2001/11/02 17:14:38 by : thomas.rouam@asim.lip6.fr subject : BUG Tool: pb dallocation mmoire avec syf version : Alliance 4.0.5 ------------------------------------------------------------------- Problem description : --------------------- pb dallocation mmoire avec syf Lors de la synthèse d'un automate (.fsm) avec SYF, j'ai une erreur : autalloc.110 null size alloc error, can't continue ! How to reproduce the bug : -------------------------- Linux lajtha.lip6.fr 2.4.2-0_enseig_2 #1 Tue Jun 5 13:37:47 CEST 2001 i586 unknown Alliance settings : ALLIANCE_OS = Linux ALLIANCE_TOP = /users/soft5/newlabo/alliance-4.5.0/archi/Linux ALLIANCE_VERSION = '"4.5.0"' DREAL_TECHNO_NAME=/users/soft5/newlabo/alliance-4.5.0/archi/Linux/etc/cmos_7.dreal ELP_TECHNO_NAME=/users/soft5/newlabo/alliance-4.5.0/archi/Linux/etc/prol035.elp GENVIEW_TECHNO_NAME=/users/soft5/newlabo/alliance-4.5.0/archi/Linux/etc/cmos_11.genview GRAAL_TECHNO_NAME=/users/soft5/newlabo/alliance-4.5.0/archi/Linux/etc/cmos_12.graal MBK_C4_LIB=./cellsC4 MBK_CATA_LIB=.:/users/soft5/newlabo/alliance-4.5.0/archi/Linux/cells/sxlib:/users/soft5/ newlabo/alliance-4.5.0/archi/Linux/cells/dp_sxlib:/users/soft5/newlabo/alliance-4.5.0/ar chi/Linux/cells/padlib MBK_CATAL_NAME=CATAL MBK_IN_LO=vst MBK_IN_PH=ap MBK_OUT_LO=vst MBK_OUT_PH=ap MBK_SCALE_X=100 MBK_SPI_MODEL=/users/soft5/newlabo/alliance-4.5.0/archi/Linux/etc/spimodel.cfg MBK_TARGET_LIB=/users/soft5/newlabo/alliance-4.5.0/archi/Linux/cells/sxlib MBK_VDD=vdd MBK_VSS=vss MBK_WORK_LIB=. RDS_TECHNO_NAME=/users/soft5/newlabo/alliance-4.5.0/archi/Linux/etc/cmos_12.rds VH_BEHSFX=vbe VH_DLYSFX=dly VH_MAXERR=10 VH_PATSFX=pat XFSM_PARAM_NAME=/users/soft5/newlabo/alliance-4.5.0/archi/Linux/etc/xfsm.par XPAT_PARAM_NAME=/users/soft5/newlabo/alliance-4.5.0/archi/Linux/etc/xpat.par XSCH_PARAM_NAME=/users/soft5/newlabo/alliance-4.5.0/archi/Linux/etc/xsch.par Pour reproduire le bug, juste un syf -a sur le fichier joint suffit. Meme résultat avec -CVF End Alliance bug report 1.4

 



Alliance Web Site © 1997, 2002 ASIM/LIP6/UPMC, page maintained by Czo [Olivier Sirol] , last updated on 02 November 2001.