]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/rtests/canonxml/run_canonxml
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / rtests / canonxml / run_canonxml
1 #! /bin/bash
2
3 check_dir () {
4     dir="$1"
5     shift
6     xmlfiles=`cd $dir && echo *.xml`
7     for file in $xmlfiles; do
8         echo -n "File $dir/$file: "
9         ./test_canonxml "$@" "$dir/$file" >out.xml
10         if cmp out.xml "$dir/out/$file"; then
11             echo "OK"
12         else
13             echo "NOT OK"
14             read
15         fi
16     done
17 }
18
19 check_dir "data_valid/conditional"
20 check_dir "data_valid/att_normalization"
21 check_dir "data_valid/optional_decls"
22 check_dir "data_valid/comments" -comments
23 check_dir "data_valid/bugfixes"
24
25 #check_dir "data_jclark_valid/sa-problems"
26 #check_dir "data_jclark_valid/ext-sa-problems"
27 check_dir "data_jclark_valid/sa"
28 check_dir "data_jclark_valid/not-sa"
29 check_dir "data_jclark_valid/ext-sa"
30
31