[Javapathfinder-user] peer class cannot be found: problem fixed

[zuo j. <zu...@pk...>]

Hi, I finally fix the problem. In fact, it is because jpf does not know
where to find the native peer class although the native peer class and model
class reside at the same directory. To make jpf be aware of that, just set
CLASSPATH to point to the top package where the native peer class resides. 

One thought: Is it more natural to let jpf search for native peer classes
automatically? After all, native peers and model classes are usually under
the same package.