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 некоторое время назад, я знаю, что это не апплет, как беспокоит другой ответ.

Вы получаете эту ошибку, потому что файлы jar Java Pathfinder не находятся в вашем пути к классам. Вот полное руководство по началу работы с Java Pathfinder , которое может помочь другим людям перейти в этот старый поток.

Answer 2

Это вообще не URL (за исключением апплетов, и вы не упомянули апплет). Вам нужно поместить jar Pathfinder в classpath при компиляции и запуске, через -cp для javac и java.

Если это апплет, то он более сложный.