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=769b6b94401e440fb4a1332226f759e2492bd7f6;hb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;hp=0000000000000000000000000000000000000000;hpb=758057e85325f94cd88583feb1fdf6b038e35055;p=helm.git

diff --git a/helm/DEVEL/pxp/pxp/rtests/codewriter/test_codewriter b/helm/DEVEL/pxp/pxp/rtests/codewriter/test_codewriter
new file mode 100755
index 000000000..769b6b944
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/rtests/codewriter/test_codewriter
@@ -0,0 +1,18 @@
+#! /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