Re: [Javapathfinder-user] Use java pathfinder in Eclipse

[John P. <joh...@na...>]

Hi Harry,

I'm assuming you have gotten JPF to build in Eclipse.  if not, look in 
the JPF Help forum.


to run JPF in Eclipse, use this as a Run configuration:

project: javapathfinder
main class: gov.nasa.jpf.jvm.JPF

arguments: -show HelloWorld

the classpath must include:
../build/jpf
../build/examples
../build/env/jpf
../build/env/jvm


John

harry huang wrote:
> Hi,
> 
> I am a new user of java PathFinder. I download the Java pathfinder and 
> install it on the Eclipse. But How can I use the java pathfinder in the 
> Eclipse environment to verfiy my program. For instance, how to verifiy 
> the simple class -- HelloWorld.class in the examples directory ?
> 
> Thanks,
> Harry
> 
> 
> 
> 
> -------------------------------------------------------
> This SF.Net email is sponsored by the JBoss Inc.  Get Certified Today
> Register for a JBoss Training Course.  Free Certification Exam
> for All Training Attendees Through End of 2005. For more info visit:
> http://ads.osdn.com/?ad_id=7628&alloc_id=16845&op=click
> _______________________________________________
> Javapathfinder-user mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javapathfinder-user


-- 
John Penix PhD. john.penix+nasa.gov http://ase.arc.nasa.gov/jpenix/
Robust Software Engineering Group  ph:(650)604-6576 bld:N296 rm:268
Intelligent Systems Division  NASA Ames Research Center  Mt.View CA