0

テスト例で Java パス ファインダーを動作させようとしています。Eclipse の検証プラグインを使用すると、何らかの理由で動作しないようです。その後、run-JPF メソッドを使用しています。JPF は、gov.nasa.jpf.jvm のような外部クラスを使用しようとするまで機能しているようです。彼が見つからないようであることを確認してください。run メソッドのクラスパスに追加しようとしましたが、それでも同じ問題が発生します。どうすればよいですか?

4

1 に答える 1

0

問題はJava 1.8の使用に関するもので、1.7に切り替えるとすべてが解決しました。

于 2014-07-10T13:24:45.970 に答える