Bxml errors with Atelier B 4.2 Free

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.