Re: [Javapathfinder-user] Question about running JPF

[John P. <jp...@go...>]

Hi Jenny,

I think you are having one of the two following problems:

make sure you have JPF's vm.bootclasspath configured to point to where the
../javapathfinder/env/jpf/.. .class files are being put - if you are using
ant with build.xml it should be javapathfinder/build/env/jpf/ but if you ar=
e
building with Eclipse you need to either tell it to put them there, or poin=
t
JPF at them.

also, make sure you are using the version of BCEL we distribute with JPF -
we have fixed a few BCEL issues in our version.

John


On 5/2/06, Jenny choe <je...@gm...> wrote:
>
> Hi,
>
> I'm having trouble running JPF with example class files in eclipse. I set
> the project to point the "jpf release" directory, used gov.nasa.jpf.JPF a=
s
> main class and set Bakery_original as a program argument.
>
> I've got this error message below:
> error during VM runtime initialization:
> uncaught exception in thread main #0 : java.lang.UnsatisfiedLinkError:
> java.lang.Object.registerNatives (no peer)
>     at java.lang.Object.<clinit>(java\lang\Object.java:24)
>
> Have anyone seen this before?
>
> Thanks,
> Jenny
>
>