X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2Fcodewriter%2Ftest_codewriter;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2Fcodewriter%2Ftest_codewriter;h=0000000000000000000000000000000000000000;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hp=769b6b94401e440fb4a1332226f759e2492bd7f6;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/DEVEL/pxp/pxp/rtests/codewriter/test_codewriter b/helm/DEVEL/pxp/pxp/rtests/codewriter/test_codewriter
deleted file mode 100755
index 769b6b944..000000000
--- a/helm/DEVEL/pxp/pxp/rtests/codewriter/test_codewriter
+++ /dev/null
@@ -1,18 +0,0 @@
-#! /bin/sh
-
-set -e
-
-sample="$1"
-echo "Testing $sample:"
-./compile -in "$sample" -out "sample.ml" -print -super-root -pis -comments >"out1"
-echo "- code written to sample.ml, formatted data to out1"
-OCAMLPATH=../.. ocamlfind ocamlc -package . -linkpkg -custom sample.ml -o sample
-echo "- sample.ml compiled to sample"
-./sample >out2
-echo "- re-read data written to out2"
-if cmp out1 out2; then
-    echo "- out1 and out2 are identical! OK"
-else
-    echo "- out1 and out2 differ! FAILURE!"
-    exit 1
-fi