Hi all,
After I ran the "ant run-tests" command successfully, I tried to use
JPF to model check the HelloWorld application in the example
directory, however, I cannot get it to work.
When I ran the jpf.bat in WindowXP, I encountered the error as following:
D:\javapathfinder>bin\jpf.bat HelloWorld
Java Pathfinder Model Checker v3.1.2 - (C) 1999-2004 RIACS/NASA Ames
Research Center
JPF exception, terminating: could not load class D:\javapathfinder\bin\..\b=
uild\
env\jpf;
When I ran the jpf in Linux, I encountered the error as following:
$ bin/jpf HelloWorld
: bad interpreter: No such file or directory
The jdk version I used is 1.4.2.=20
I can"t figure out the error. So could someone give me some advice?
Thanks in advance.
Yearn
|
