]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/rtests/write/run_write
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / DEVEL / pxp / pxp / rtests / write / run_write
diff --git a/helm/DEVEL/pxp/pxp/rtests/write/run_write b/helm/DEVEL/pxp/pxp/rtests/write/run_write
deleted file mode 100755 (executable)
index 1c43acb..0000000
+++ /dev/null
@@ -1,17 +0,0 @@
-#! /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"