alliance-support '1997
BUG bop  : Optimisation avec bop


Czo [Olivier SIROL] (czo)
Thu, 6 Nov 1997 16:03:51 +0100 (MET)

Alliance bug report [3.2b] ------------------------------------------------------------------- Posted on : 1997 November 06 (Thursday at 16:03) MET by : <dea7020@enseig.lip6.fr subject : BUG bop  : Optimisation avec bop ------------------------------------------------------------------- Problem description : --------------------- L'optimisation booleenne avec l'option -o (optimisation globale) genere peut-etre des erreurs (resultat controle avec proof). En revanche, l'option -l (local) produit un fichier correct. Environnement : --------------- Platform : proof signal 9 erreurs (Pas de precisions) Environnement standard du projet DEA ASIME 1997 (/users/soft5/newlabo/env.csh) How to reproduce the bug : -------------------------- Les fichiers se trouvent dans ~dea7019/projet Pour reproduire l'erreur: - copier tout le repertoire - se placer dans /projet/automate - Modifier le fichier Makefile_synthese en remplacant l'option -l de bop par l'option -o - executer make lessive ; make preparation ; make generation ; make synthese - Le resultat de proof se trouve dans le fichier !!!!

 



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