]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/rtests/README
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / rtests / README
diff --git a/helm/DEVEL/pxp/pxp/rtests/README b/helm/DEVEL/pxp/pxp/rtests/README
new file mode 100644 (file)
index 0000000..5c56b7a
--- /dev/null
@@ -0,0 +1,16 @@
+----------------------------------------------------------------------
+(Anti) Regression tests
+----------------------------------------------------------------------
+
+- To build the tests, "markup" must already be compiled in ..
+  Do "make" to start the compilation.
+
+- To run the tests:
+  ./run
+
+- Program dumpfiles: Do "make dumpfiles" to create it.
+  It takes XML file names on the command line, and writes a Latex
+  document on stdout. The document shows the contents of all files.
+  EXAMPLE:
+  $ ./dumpfiles canonxml/data_jclark_valid/ext-sa/*.* >x.tex
+  $ latex x