Fonction de finalisation pour un simulateur couplé, à invoquer dans le programme qui contrôle le simulateur. Elle réalise la lecture du fichier en entrée qui contient les directives de fin de simulation (traitement des spécifications de sortie déclarées dans l'initialisation de la simulation, et libèration de la mémoire encore allouée).