]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/rtests/README
structurated attribute names added
[helm.git] / helm / DEVEL / pxp / pxp / rtests / README
1 ----------------------------------------------------------------------
2 (Anti) Regression tests
3 ----------------------------------------------------------------------
4
5 - To build the tests, "markup" must already be compiled in ..
6   Do "make" to start the compilation.
7
8 - To run the tests:
9   ./run
10
11 - Program dumpfiles: Do "make dumpfiles" to create it.
12   It takes XML file names on the command line, and writes a Latex
13   document on stdout. The document shows the contents of all files.
14   EXAMPLE:
15   $ ./dumpfiles canonxml/data_jclark_valid/ext-sa/*.* >x.tex
16   $ latex x