Project

General

Profile

Bug #5019

[efsm][testgen][test] runSolver -> NullPointerException

Added by Alexander Kamkin about 5 years ago. Updated about 5 years ago.

Status:
Closed
Priority:
Normal
Category:
-
Target version:
Start date:
07/03/2014
Due date:
% Done:

0%

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

Description

java.lang.NullPointerException
    at java.lang.ProcessBuilder.start(Unknown Source)
    at ru.ispras.fortress.solver.engine.z3.Z3TextSolver.runSolver(Z3TextSolver.java:141)
    at ru.ispras.fortress.solver.engine.z3.Z3TextSolver.solve(Z3TextSolver.java:101)
    at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.generateInputsForGuardedAction(Unknown Source)
    at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.tryToTraverseTransition(Unknown Source)
    at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.generateInputVectorRandomly(Unknown Source)
    at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.generateSequenceRandomly(Unknown Source)
    at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.start(Unknown Source)
    at ru.ispras.retrascope.engine.efsm.testgen.ReferenceEfsmTestGenerator.start(Unknown Source)
    at ru.ispras.retrascope.basis.ToolChain.start(Unknown Source)
    at ru.ispras.retrascope.Retrascope$Run.start(Unknown Source)
    at ru.ispras.retrascope.Retrascope.main(Unknown Source)

History

#1

Updated by Alexander Kamkin about 5 years ago

  • Subject changed from [efsm][testgen] runSolver -> NullPointerException to [efsm][testgen][test] runSolver -> NullPointerException
#2

Updated by Alexander Kamkin about 5 years ago

Нужно описать в README.txt (файл добавлен в проект), какие переменные окружения нужно установить, чтобы все заработало.

#3

Updated by Igor Melnichenko about 5 years ago

  • Status changed from New to Closed

Готово.

Also available in: Atom PDF