From: Peter C. M. <pcm...@em...> - 2007-02-12 18:29:26
|
Sergey, just add "trace" to the list of "property_violation" publisher topics, as in jpf.report.console.property_violation=error:trace:snapshot There are a bunch of "show_X" options that can be used to control the amount of info that goes into a trace. The "toXML" is pretty much superseded by the XML publisher (but that one isn't yet updated to the new publishing scheme). I will add some docu about the reporting system shortly. -- Peter On Feb 12, 2007, at 9:36 AM, Sergey Kulikov wrote: > Hi, > > I have a question, there is no more 'path to error' output, and I > also saw in the code that the 'toXML' feature was commented out > (which printed the same path to error in an xml file). > > Just wondering if there's going to be another way of reporting the > path to error? > > thanks > sergey |