[Javapathfinder-user] Debugging information from JPF

[Markeloff, R. <Ric...@sp...>]

I'm using JPF, and it works great, except that the information it
provides is not very helpful in tracking down the root cause of the
error. Is there any way I can get more information when an error is
found, a stack trace for example?

=20

Thanks,

=20

Rich Markeloff

=20

________________________________

=20

Richard Markeloff

SPARTA, Inc.

1911 N. Fort Myer Dr., Suite 1100

Arlington, VA 22209

=20

Voice: 703 647 2414

Fax:    703 558 3410

=20