public class ProgramExitReachabilitySoundnessTester
extends java.lang.Object
Constructor and Description |
---|
ProgramExitReachabilitySoundnessTester(java.util.Set<SoundnessCheck> checks,
GenericSolver.SolverInterface c) |
Modifier and Type | Method and Description |
---|---|
boolean |
test(java.lang.String runResult) |
public ProgramExitReachabilitySoundnessTester(java.util.Set<SoundnessCheck> checks, GenericSolver.SolverInterface c)
Copyright © 2009-2019 Aarhus University