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 !!!!