Re: [Javapathfinder-user] [Javapathfinder-devel] SF.net SVN: javapathfinder: [237] trunk

[Sergey K. <se...@cs...>]

Hi Peter,

the option
    > jpf.report.console.property_violation=error:trace:snapshot

is set on by default in my default.properties file, however only the last 
transition is printed out, not the complete trace. Is there any other 
option that I need to add to turn the trace on, or is the tracing not 
completely implemented as yet.

thanks
sergey


On Mon, 12 Feb 2007, Peter C. Mehlitz wrote:

> 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
>