Alliance bug report [3.2b] ------------------------------------------------------------------- Posted on : 1997 November 04 (Tuesday at 19:17) MET by : <dea7004@enseig.lip6.fr subject : BUG bop : differences de fichier avant et apres bop ------------------------------------------------------------------- Problem description : --------------------- Un fichier .vbe est deforme par bop : les patterns ne passent pas sur le fichier genere par bop, alors qu'il passaient avec le fichier source. proof trouve 8 erreurs entre les deux fichiers Environnement : --------------- Platform : bop -o mips_sts mips_sts1 mips_ctl MBK_WORK_LIB=. MBK_C4_LIB=./cellsC4 MBK_CATA_LIB=$(cells) MBK_TARGET_LIB=$(cells) MBK_OUT_LO=vst MBK_IN_LO=vst MBK_OUT_PH=ap How to reproduce the bug : -------------------------- bop -o mips_sts mips_sts1 mips_ctl /users/dsk02/dea7004/MIPS/mips_sts.vbe .....................MIPS/mips_sts1.vbe .....................MIPS/mips_ctl.lax ensuite, proof mips_sts mips_sts1