run_all.sh 546 Bytes
Newer Older
1 2
#!/bin/sh

3
# lance les prouveurs donnés (ou ceux donnés en argument) sur les fichiers de 2 dossiers
4 5

PROVERS="spass,eprover,z3,cvc3,simplify,alt-ergo,z3_simple,cvc3_simple,eprover_simple,spass_simple"
6

7
if [ -n "$1" ]; then
8 9 10 11
  PROVERS="$1"
  echo "utilise les prouveurs $1"
fi

12 13 14 15
TARGET_DIRS="../examples/programs/ ../bench/programs/good/"

for TARGET_DIR in $TARGET_DIRS; do
  for target_file in $TARGET_DIR/*.mlw; do
16 17
    echo ./process_file.py "$target_file" "$PROVERS"
    ./process_file.py -C ../why.conf "$target_file" "$PROVERS"
18 19 20
  done
done