lnt_merge takes as input the main module input.lnt of an LNT model and produces a single LNT module output.lnt containing all modules transitively included by input.lnt. lnt_merge relies on lnt_depend to compute the modules included by input.lnt. lnt_merge concatenates also any .tnt and .fnt files containing external C implementations of types or functions.
In the generated module, all included modules are separated by lines of dashes. The lines containing the module and end module keywords of the included modules are kept, commented with the prefix "--+". with-clauses of all included modules are aggregated and applied to the generated module, which is always named TEST.
Because the current version of lnt_merge cannot handle occurrences of end module spread over several lines, lnt_merge emits warning messages for each occurrence of a occurrence of end with the subsequent keyword on a different line.
Additional information is available from the CADP Web page located at http://cadp.inria.fr
Directives for installation are given in files $CADP/INSTALLATION_*.
Recent changes and improvements to this software are reported and commented in file $CADP/HISTORY.email@example.com