Project

General

Profile

Actions

Bug #4797

closed

[solver] NullPointerException when solver is not found

Added by Sergey Smolov about 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

Also available in: Atom PDF