How to Use CPPP

The python script, cpppNew, is used to create a db file. Example

> cpppNew <c-flags> <c-file> <db-filename>

so the following command will create a database file called test.db

> cpppNew test.c test.db

Use the rewrite2 script to add the pragram data at the beginning of the c files.

> rewrite2 <old-dir> <db-file> <new-dir>

Then pre-processed the rewritten c files inside <new-dir>.

Run XTC with either -cppPragmaData or -cppRegionData

> java xtc.lang.CDriver -cppPragmaData <c-file>