Re: [Javapathfinder-user] java.lang.UnsatisfiedLinkError (no peer)

[Adam K. <ak...@cs...>]

> So am I missing some class files?
> I just re-ran "run-tests" (after removing TestAssert) and
> all the tests ran and passed.  But still no Object class under
> the path you mentioned (but I do have this file:
> build/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Object.class).

Shane,
that sounds good. Have you tried running the examples yet? Try deadlock.Deadlock 
for example

/adam