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功能。任何人都可以告訴我如何解決這個問題？我真的不明白如何輸入我正在設想的網址。

Answer 1

它根本不是一個URL（applet的情況除外，你沒有提到一個小程序）。在編譯和運行時，需要將Pathfinder jar放在classpath中，通過-cp轉換爲javac和java。

如果它是一個小程序，它會更復雜。

Answer 2

有段時間使用Java Pathfinder後，我知道它不是另一個答案所擔心的小程序。

由於Java Pathfinder jar文件不在您的類路徑中，因此您會收到此錯誤。這是一個完整的Java Pathfinder Getting Started tutorial，可以幫助其他人來到這個舊線程。