]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/rtests/run
structurated attribute names added
[helm.git] / helm / DEVEL / pxp / pxp / rtests / run
1 #! /bin/sh
2
3 set -e
4
5 (cd reader && ./test_reader)
6 (cd canonxml && ./run_canonxml)
7 (cd write && ./run_write)
8 (cd codewriter && ./run_codewriter)
9 (cd negative && ./run_negative)