Java Path finder: как получить к нему доступ через командный терминал?
Я новичок в Java. Я должен обнаружить ошибки в Java-программе (KLOC). Для которого я использую Java Path finder. Я запускаю его через командную строку cmd, Используя команду
java -jar build/RunJPF.jar C:\Users\xxx\yyy\src\main\java\zzz.jpf
Я хотел знать, как я могу:
- Получить условия гонки
- обнаруживает тупик
- проверить контроль
- проверить управление JPF, поиск
- Проверка числовых расширений
Все в командной строке? Было бы очень полезно, если бы на приведенные выше вопросы можно было ответить, используя пример.
Спасибо