Vous êtes ici : Page de Lionel GUEZ à l'École polytechnique → Exécution.
Les
scripts
etat0_lim.sh
et gcm.sh
dans
libf/Scripts
réunissent les fichiers nécessaires à
l'exécution de etat0_lim
et gcm
,
respectivement, et lancent ces deux programmes. Les scripts supposent
qu'un numéro est affecté à chaque exécution de etat0_lim
et à chaque exécution de gcm
(indépendamment). Les
fichiers d'entrée et de sortie pour une exécution donnée sont
regroupés dans un répertoire dont le nom est le numéro
d'exécution. Cette organisation est schématisée dans le graphique
ci-contre (cliquez pour une plus haute résolution). Sur ce graphique,
les noms encadrés sont des noms de répertoires. Les flèches noires
indiquent le contenu des répertoires. Les flèches rouges indiquent les
liens créés par le script etat0_lim.sh
. Les flèches
bleues indiquent les liens créés par le script
gcm.sh
.
etat0_lim
gcm