[Javapathfinder-user] Re: I can"t run JPF

[Eric P. <pl...@ni...>]

Hi Yearn,

The both cases might be path problems. Have you tried to run your
current systems with "jpf -show"? It should show you the dictionary of
your configuration. If some values are not assigned, it might be your
problem. If the command fails, so it might be a bootclasspath problem.
As for Wxp, I encountered the latter and I ended up with (sigh) inlining
the path directly into default.properties (for the moment):
***From default.properties***
# the next two are used to load classes into JPF which are NOT in the
normal classpath
# (we can use the automatic defaults if started from the JPF root dir)
# where to load essential system model classes from (like java.lang.Thread)
vm.bootclasspath = C:\\javapathfinder\\build\\env\\jpf
***END***

Before that, I tried the command line "+vm.bootclasspath = c:...", but
oddly enough it did not solve the problem. On Wxp, it seems there are
some issues with the environment values such as
"${jpf.basedir}/build/env/jpf"... No value is assigned indeed.

A very tiny issue is that the online docu says that the default property
file is "default.properties". The help menu ("jpf" or "jpf -help") says
the default is "jpf.properties". It seems the online docu is correct.
So, the proper way to do the above would be to create a
myProp.properties and use the command option "-c myProp.properties" when
invoking JPF.

I hope this might help somehow.

Eric


From: En Ye <ye@gm...>
I can"t run JPF
<http://sourceforge.net/mailarchive/message.php?msg_id=12586198>
2005-08-07 19:54

 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\..\build\
 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. 
 I can"t  figure out the error. So could someone give me some advice?
 Thanks in advance.
 
 Yearn