Skip to content

Ticket #1363: Correct precond related to p_referenceType

Laurent Voisin requested to merge 1363-improve-provability-of-the-view-service-set-continued into master

Contains various fixes of the B model around the view service set (mostly Browse) in order to improve its provability.

Consequently, contains also minor code fixes, most notably around memory allocation. There were some rare cases where memory was not completely freed when treating requests.

Closes #1363 (closed)

Merge request reports