Skip to content

Ticket #1014: Improve PO generation for service_mgr

Laurent Voisin requested to merge lvo/1014-service-mgr into master

Reduce the number of POs in implementation service_mgr_i.

Also fix #1067 (closed) which was detected when analysing PO generation.

Also fix #1097 (closed) which was detected during review of this merge request.

There are now about 863 POs in total, with about 61 not proved. Most of these POs are about message types (I need to find a solution for treating this aspect, but did not find one yet).

Edited by Laurent Voisin

Merge request reports