Le 12/07/2022 à 02:57, Ludovic Brenta a écrit :
ISTR that AdaControl does not require the tree files of units that are not the ones being analyzed.
More precisely, the tree file of a unit contains the trees of the specifications of all the "withed" units, i.e. it stands by itself.
That's why ASIS keeps only one tree file... and has to do the infamous "tree swapping" when moving from the specification to the body of a unit.
-- J-P. Rosen Adalog 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX Tel: +33 1 45 29 21 52 https://www.adalog.fr