]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/rtests/canonxml/run_canonxml
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / DEVEL / pxp / pxp / rtests / canonxml / run_canonxml
diff --git a/helm/DEVEL/pxp/pxp/rtests/canonxml/run_canonxml b/helm/DEVEL/pxp/pxp/rtests/canonxml/run_canonxml
deleted file mode 100755 (executable)
index 2c40807..0000000
+++ /dev/null
@@ -1,31 +0,0 @@
-#! /bin/bash
-
-check_dir () {
-    dir="$1"
-    shift
-    xmlfiles=`cd $dir && echo *.xml`
-    for file in $xmlfiles; do
-        echo -n "File $dir/$file: "
-       ./test_canonxml "$@" "$dir/$file" >out.xml
-       if cmp out.xml "$dir/out/$file"; then
-           echo "OK"
-       else
-           echo "NOT OK"
-           read
-       fi
-    done
-}
-
-check_dir "data_valid/conditional"
-check_dir "data_valid/att_normalization"
-check_dir "data_valid/optional_decls"
-check_dir "data_valid/comments" -comments
-check_dir "data_valid/bugfixes"
-
-#check_dir "data_jclark_valid/sa-problems"
-#check_dir "data_jclark_valid/ext-sa-problems"
-check_dir "data_jclark_valid/sa"
-check_dir "data_jclark_valid/not-sa"
-check_dir "data_jclark_valid/ext-sa"
-
-