Bug #4797
closed[solver] NullPointerException when solver is not found
100%
Description
Если не удается найти исполняемый файл решателя, выдается следующий лог ошибки:
Exception in thread "Main Thread" java.lang.NullPointerException
at java.lang.ProcessBuilder.start(ProcessBuilder.java:441)
at ru.ispras.fortress.solver.engine.z3.Z3TextSolver.runSolver(Z3TextSolver.java:141)
at ru.ispras.fortress.solver.engine.z3.Z3TextSolver.solve(Z3TextSolver.java:101)
Необходимо выдавать более информативное сообщение.
Updated by Sergey Smolov over 10 years ago
- Subject changed from NullPointerException when solver is not found to [solver] NullPointerException when solver is not found
Updated by Andrei Tatarnikov over 10 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
Эта ошибка просиходит, когда путь к решателю не проинициализирован. В r520 сделана проверка валидности данного пути. При выявлении ошибок генерируются исключения с соответсвующими сообщениями. Теперь в случае, если путь не задан, исключение будет такое:
java.lang.NullPointerException: The path to the external constraint solver executable is not assigned (equals null).