alliance-support '1997
BUG bop  : PROJET MIPSR3000 : Partie 3 a et b ; DEA ASIM


Czo [Olivier SIROL] (czo)
Thu, 6 Nov 1997 13:13:35 +0100 (MET)

Alliance bug report [3.2b] ------------------------------------------------------------------- Posted on : 1997 November 06 (Thursday at 13:13) MET by : <dea7044@enseig.lip6.fr subject : BUG bop  : PROJET MIPSR3000 : Partie 3 a et b ; DEA ASIM ------------------------------------------------------------------- Problem description : --------------------- Bonjour, les etudiants du projet rencontrent des problemes en utilisant bop sur le fichier status du MipsR3000. Proof indique en effet 11 erreurs. En lancant SCMAP sur l original du fichier status (dans le repertoire ~dea7000/Mips/sce/), et en le lancant sur le fichier status que nous avons modifie, nous obtenons toujours la meme erreur: 'sr_ckd' n est pas un virtuel. Il est possible que cette erreur, presente donc dans le fichier d origine, provoque les problemes sur BOP. Nous voudrions surtout arriver a lancer Scmap! Merci! Environnement : --------------- Platform : scmap ~dea7000/Mips/sce/mips_sts temp_scmap_mips_sts L environnement est standard. How to reproduce the bug : -------------------------- Il suffit de!!!!

 



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