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

diff --git a/helm/DEVEL/pxp/pxp/rtests/write/run_write b/helm/DEVEL/pxp/pxp/rtests/write/run_write
new file mode 100755
index 000000000..1c43acb2f
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/rtests/write/run_write
@@ -0,0 +1,17 @@
+#! /bin/bash
+
+test_sample () {
+    file="$1"
+    echo -n "Testing $file... "
+    ./test_write -in "$file" >out1
+    ./test_write -in out1    >out2
+    ./test_write -in out2    >out3
+    if cmp out1 out3; then
+	echo "OK"
+    else
+	echo "FAILED"
+    fi
+}
+
+
+test_sample "sample001.xml"