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

Question

我正在尝试使用 Java Pathfinder，并且我正在使用路径查找器。

import gov.nasa.jpf.jvm.Verify;

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

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

Answer 1

一段时间前使用过Java Pathfinder，我知道它不是另一个答案担心的小程序。

您收到此错误是因为 Java Pathfinder jar 文件不在您的类路径中。这是一个完整的Java Pathfinder Getting Started 教程，可以帮助其他人进入这个旧线程。

Answer 2

它根本不是一个 URL（除了小程序，而且你没有提到小程序）。编译运行时需要把Pathfinder jar放到classpath下，通过-cp到javac和java。

如果是小程序，那就更复杂了。