Bug #5019: [efsm][testgen][test] runSolver -> NullPointerException - Retrascope - Open-Source Projects

Actions

Copy link

Bug #5019

closed

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

Added by Alexander Kamkin almost 10 years ago. Updated almost 10 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Igor Melnichenko

Category:

Target version:

0.1

Start date:

07/03/2014

Due date:

% Done:

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)