Re: problems with label_results

On Mon, 13 Nov 2000, Srikanth NS wrote:

> I'm trying to use label_results to subsequently
> generate reports for my polygraph run but it fails
> with the following error message.
> 
> "No matching phases found"
> failed; probable cause: No such file or directory
> 
> It took more than 24 hours for the tests to complete
> and I would love to recover some results atleast.  Is
> this possible ?

Depends on the state of your binary log files:

First of all, you must collect binary logs using the --log option on
the client side (at least). One log per polyclt process execution.

If polyclts finished gracefully (e.g., console logs contain the
"shutdown reason: " line), then you should be able to run
label_results with no problems.

Otherwise, you can manually extract trace information from the binary
logs using ltrace tool. Phase statistics cannot be extracted beyond
what is logged via "p-" line on the console.


If the above description does not help, and you are still having
problems, please send me your complete polyclt console output
(gzipped) and we will go from there. Console output can be extracted
from binary logs (even incomplete) using the "lr" tool.

Thanks,

Alex.