Erreurs bxml avec Atelier B 4.2 Free

L’utilisation du nouvel outil bxml, avec la version 4.2 Free de l’Atelier B, est empêchée par l’absence de la déclaration de ressources dans le fichier AtelierB. Les symptômes  sont l’apparition de messages d’erreur de la forme « Bxml error for … ».

Pour corriger manuellement le problème, il convient d’ajouter les lignes suivantes:

ATB*ATB*Proof_Obligations_Generator_NG_Command: pog
ATB*ATB*Bxml_Command: bxml

au fichier AtelierB.

Une version 4.2.1 corrigeant ce problème est en préparation et devrait être disponible au téléchargement la semaine prochaine.