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

Question

我正在尝试使用 Java Pathfinder，并且我的 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 tutorial这可以帮助其他人进入这个旧线程。