org.evosuite.symbolic.solver

Class SubProcessSolver

java.lang.Object

org.evosuite.symbolic.solver.Solver

org.evosuite.symbolic.solver.SubProcessSolver

Direct Known Subclasses:

CVC4Solver, Z3Solver, Z3Str2Solver

public abstract class SubProcessSolver
extends Solver

Constructor Summary

Constructors

Constructor and Description
SubProcessSolver()
SubProcessSolver(boolean addMissingVariables)

Method Summary

Modifier and Type	Method and Description
protected static int	launchNewProcess(String solverCmd, String smtQuery, int hard_timeout, OutputStream outputStream)

Methods inherited from class org.evosuite.symbolic.solver.Solver

addMissingVariables, checkSAT, getConcreteValues, getVariables, setConcreteValues, solve

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SubProcessSolver

public SubProcessSolver(boolean addMissingVariables)

SubProcessSolver

public SubProcessSolver()

Method Detail

launchNewProcess

protected static int launchNewProcess(String solverCmd,
                                      String smtQuery,
                                      int hard_timeout,
                                      OutputStream outputStream)
                               throws IOException

Throws:

IOException