Commit d4d8ec30 authored by Maxime Folschette's avatar Maxime Folschette
Browse files

script run-all.sh + README

parent 586d8314
Fichier principal : main.ml
---------------------------
Usage :
ocaml main.ml
Sorties : tests manuels dans le programme (à l'écran) et programmes ASP
permettant l'énumération des états initiaux et paramétrisations compatibles.
Le modèle doit actuellement être modifié à la main dans le programme
(section « Informations du BRN »).
Script : run-all.sh
-------------------
Usage :
sh run-all.sh [suffixe]
Sorties : exécute chaque script ASP (entension *.lp, par ex. : script.lp)
trouvé dans le dossier courant et écrit les résultats dans autant de fichiers
(par ex. : script.lp[suffixe].out).
#!/bin/sh
for fichier in $(ls *.lp)
do
clingo3 0 --verbose=0 ${fichier} > ${fichier}$1.out
done
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment