New bxml tool included in atelier B 4.2 Free is not working properly as required resources are missing. When used, error messages “Bxml error for …” are displayed.
The turnaround consists in adding the following lines:
ATB*ATB*Proof_Obligations_Generator_NG_Command: pog ATB*ATB*Bxml_Command: bxml
to the AtelierB file.
A new version 4.2.1 is being cooked and should be available for download next week.