JML をインストールしようとしていて、さまざまな Eclipse ディストリビューションを試した後に成功しましたが、次のエラーが発生します: (eclipse-java-indigo-SR2-win32 を使用) メニューを使用するとエラーが表示されます: JML > 静的チェック (ESC)
証明者の実行可能ファイルが指定されていません - -exec を使用するか、openjml.prover を定義して ください。
1155 次
1 に答える
3
さらに努力した後、私はそれを解決しました、
実際には、Windows OS用のプルーバー実行可能ファイルをダウンロードし、フォルダーを作成してその中にexeを配置し（C：\ Java \ CVC4）、次にEclipseに配置する必要がありました
[ウィンドウ] > [設定] > [JML] > [JML ソルバー] > [CVC ブラウザー] ボタンをクリックして、上記の cvc4 実行可能パスを見つけます C:\Program Files\Java\cvc4\cvc4-1.3-win32-opt.exe その後、正常に動作していました
于 2014-03-30T06:32:51.470 に答える