0

我是 Java 新手。我必须检测 java (KLOC) 程序中的错误。为此，我正在使用 Java Path finder。我通过命令行运行它cmd。使用命令

java -jar build/RunJPF.jar  C:\Users\xxx\yyy\src\main\java\zzz.jpf

我想知道，我该怎么做：

  1. 获取比赛条件
  2. 检测死锁
  3. 验证控制
  4. 验证控制 JPF，搜索
  5. 检查数字扩展名

全部在命令行中？如果可以使用示例回答上述问题，那将非常有帮助。

谢谢

4

0 回答 0