X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2Fcanonxml%2Frun_canonxml;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2Fcanonxml%2Frun_canonxml;h=2c40807dd7a2f6cb709e02100b8a10c507215689;hb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;hp=0000000000000000000000000000000000000000;hpb=758057e85325f94cd88583feb1fdf6b038e35055;p=helm.git

diff --git a/helm/DEVEL/pxp/pxp/rtests/canonxml/run_canonxml b/helm/DEVEL/pxp/pxp/rtests/canonxml/run_canonxml
new file mode 100755
index 000000000..2c40807dd
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/rtests/canonxml/run_canonxml
@@ -0,0 +1,31 @@
+#! /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"
+
+