diff options
author | 2004-01-01 16:07:21 +0000 | |
---|---|---|
committer | 2004-01-01 16:07:21 +0000 | |
commit | f9592c85be33c034a19f193a899a243c450ad048 (patch) | |
tree | 070abac7453734665b96e7070e38734bcf4fb9c3 /test-suite | |
parent | f57ed1e997f4047498ffe72b6e960f001c23c4a4 (diff) |
[ -d ... ] au lieu de [ -f ... ] sur commit précédént
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5166 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'test-suite')
-rwxr-xr-x | test-suite/check | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/test-suite/check b/test-suite/check index 2a7dc8f08..4ccc1dc57 100755 --- a/test-suite/check +++ b/test-suite/check @@ -20,7 +20,7 @@ nbtestsok=0 # La fonction suivante teste le compilateur sur des fichiers qu'il doit # accepter -test_succes() { +test_success() { for f in $1/*.v; do nbtests=`expr $nbtests + 1` printf " "$f"..." @@ -43,7 +43,7 @@ test_succes() { # La fonction suivante teste le compilateur sur des fichiers qu'il doit # refuser -test_echec() { +test_failure() { for f in $1/*.v; do nbtests=`expr $nbtests + 1` printf " "$f"..." @@ -78,7 +78,7 @@ test_output() { # La fonction suivante teste l'analyseur syntaxique fournit par "parser" # Elle fonctionne comme test_output test_parser() { - if [ -f parser ]; then + if [ -d $1 ]; then for f in $1/*.v; do nbtests=`expr $nbtests + 1` printf " "$f"..." @@ -103,11 +103,11 @@ test_parser() { # test_output output echo "[Output tests are off]" echo "Success tests" -test_succes success +test_success success echo "Failure tests" -test_echec failure +test_failure failure echo "Parser tests" -test_parser +test_parser parser pourcentage=`expr 100 \* $nbtestsok / $nbtests` echo echo "$nbtestsok tests passed over $nbtests, i.e. $pourcentage %" |