source: trunk/autoquest-plugin-jfc/src/main/resources/manuals/preprocessJFC @ 1595

Last change on this file since 1595 was 728, checked in by sherbold, 12 years ago
  • added manuals for the commands efgTestCasesToSequences, efgToDFA, efgToMM, parseDirJFC, parseJFC, preprocessDirJFC, preprocessJFC, convertDirToXml, convertToXml, parseXML, and loadWebSequences
File size: 271 bytes
Line 
1Pre-processes a file created by the JFCMonitor into the JFC log format expected by parseDirJFC and parseJFC.
2
3$USAGE$
4<sourceFile> file to be pre-processed
5<targetFile> processed file
6
7Example(s):
8preprocessDirJFC usagedata/jfcraw/jfclograw_01 usagedata/jfc/jfclog_01.xml
Note: See TracBrowser for help on using the repository browser.