TestStackTraceImpl

constructor(solverFactory: SolverFactory)