Atelier B 4.2

Bonjour,

Parmi vous certains ont-ils téléchargé la dernière
version de l'Atelier B 4.2 et rencontré le message d'erreur
suivant : bxml error sous Windows et Linux (mais pas de soucis sous Mac OS) ?

Merci de votre retour

Salut,
Disclaimer : je fait parti des développeur de l'AtelierB

Il y a effectivement un problème avec notre nouveau parser du langage (qui génère un fichier xml en sortie). Par contre on n'a pas encore trouvé l'origine du bug, cela n'arrive que sur certaine machine. Manque de pot sur les PC des développeur ça se passe bien.

Par contre l'outil qui déconne n'est utilisé que pour le nouveau générateur d'obligation de preuve. Du coup si tu va dans les propriétés du projets et que tu choisis d'utiliser le générateur de PO classique ça va marcher. Évidement tu perd les avantages du nouveau générateur (principalement une meilleur traçabilité des PO).

Bonjour,


Merci pour votre réponse, si vous voulez je peux vous servir de debugger si
vous m'envoyer un exécutable bxml avec des traces de debug.
Pour votre information j'ai reproduit le problème sur plusieurs PC différents
avec des versions de Windows différentes.
Avez-vous déjà essayé d'installer un Windows XP dans une machine virtuelle
et ensuite d'y installer l'Atelier B ? De cette manière vous êtes indépendants
de vos machines de développement.

Bien à vous,

Laurent Guillaume

En fait on a trouvé le problème.
Il manque deux options de configuration dans la version gratuite de l'AtelierB

donc si vous rajoutez les lignes suivantes
ATB*ATB*Proof_Obligations_Generator_NG_Command: pog
ATB*ATB*Bxml_Command: bxml

dans le fichier
C:\Program Files (x86)\Atelier B full 4.2.0\AtelierB
(avec une cible d'installation classique, adapter au besoin)

Ça devrait fonctionner.

Merci pour les info en tout cas :D

Bonjour,

Ok merci pour la solution cela fonctionne,

Bien à vous,

Laurent Guillaume