Java - gov.nasa.jpf.jvm.Verify Pathfinder Package Doesn't Exist

Question

I am attempting use Java Pathfinder and I have pathfinder working.

import gov.nasa.jpf.jvm.Verify;

user.java:2: package gov.nasa.jpf.jvm does not exist
import gov.nasa.jpf.jvm.Verify;

I need to use the Verify.random function. Can anyone tell me how to resolve this problem? I don't really understand how the importation of what I am assuming is a URL works.

Answer 1

Having used Java Pathfinder some time back, I know that its not an applet as the other answer worries.

You are getting this error because the Java Pathfinder jar files are not on your classpath. Here is a complete Java Pathfinder Getting Started tutorial that could help others coming to this old thread.