Java-gov.nasa.jpf.jvm.Verify Pathfinder包不'；不存在

我正在尝试使用Java Pathfinder，我已经让Pathfinder工作了

import gov.nasa.jpf.jvm.Verify;

我需要使用Verify.random函数。有人能告诉我如何解决这个问题吗？我真的不明白导入我假设的URL是如何工作的。

它根本不是URL（小程序除外，您没有提到小程序）。在编译和运行时，需要通过-cp到javac和java将Pathfinder jar放在类路径中

---

如果它是一个小程序，那么它就更复杂。

在很久以前使用过Java Pathfinder，我知道它不是一个小程序，因为另一个答案令人担忧

出现此错误是因为Java Pathfinder jar文件不在类路径上。这里有一个完整的，可以帮助其他人来这个老线程

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