alliance-support '1997
BUG proof  : inversion des deux fichiers a comparer : etrange resultat


Czo [Olivier SIROL] (czo)
Wed, 12 Nov 1997 15:49:44 +0100 (MET)

Begin Alliance bug report 1.2 ------------------------------------------------------------------- Posted on : 1997 November 12 (Wednesday at 15:49) MET by : <dea7004@enseig.lip6.fr subject : BUG proof  : inversion des deux fichiers a comparer : etrange resultat version : Alliance 3.2b ------------------------------------------------------------------- Problem description : --------------------- Salut ! Vous trouverez dans le repertoire /users/dsk02/dea7004/MIPS/PROOF_BUG deux fichiers .vbe, mips_sts.vbe et mips_sts1.vbe : proof mips_sts1 mips_sts donne un segmentation fault, tandis que proof mips_sts mips_sts1 donne Formal Proof : OK !! C'est fou, non ? Environnement : --------------- Platform : proof mips_sts mips_sts1 et proof mips_sts1 mips_sts /users/soft5/newlabo/env.csh How to reproduce the bug : -------------------------- /users/dsk02/dea7004/MIPS/PROOF_BUG/mips_sts.vbe /users/dsk02/dea7004/MIPS/PROOF_BUG/mips_sts1.vbe /users/soft5/newlabo/SunOS/bin/proof N.B. Le repertoire PROOF_BUG est entierement dedie a ce probleme. bug_rep!!!! Finger Information : -------------------- [enseig.lip6.fr] Login name: dea7004 In real life: pmarchay Directory: /users/dsk02/dea7004 Shell: /bin/tcsh Last login Wed Nov 12 13:10 on ttyp1 from faure No unread mail No Plan. End Alliance bug report 1.2

 



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