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

diff --git a/helm/DEVEL/pxp/pxp/rtests/run b/helm/DEVEL/pxp/pxp/rtests/run
new file mode 100755
index 000000000..11b573c1c
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/rtests/run
@@ -0,0 +1,9 @@
+#! /bin/sh
+
+set -e
+
+(cd reader && ./test_reader)
+(cd canonxml && ./run_canonxml)
+(cd write && ./run_write)
+(cd codewriter && ./run_codewriter)
+(cd negative && ./run_negative)