Project

General

Profile

Actions
Copy link

Bug #5019

closed

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

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

Status:
Closed
Priority:
Normal
Assignee:
Igor Melnichenko
Category:
-
Target version:
0.1
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)
Actions
Copy link

Also available in: Atom PDF