Project

General

Profile

Actions

Bug #4797

closed

[solver] NullPointerException when solver is not found

Added by Sergey Smolov almost 10 years ago. Updated over 9 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Andrei Tatarnikov
Category:
-
Target version:
Start date:
03/25/2014
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

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)

Необходимо выдавать более информативное сообщение.

Actions #1

Updated by Sergey Smolov almost 10 years ago

  • Subject changed from NullPointerException when solver is not found to [solver] NullPointerException when solver is not found
Actions #2

Updated by Andrei Tatarnikov over 9 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).

Actions #3

Updated by Sergey Smolov over 9 years ago

  • Status changed from Resolved to Closed

Ок.

Actions

Also available in: Atom PDF