dk.brics.tajs.monitoring.soundness.testing

Class ProgramExitReachabilitySoundnessTester

java.lang.Object

dk.brics.tajs.monitoring.soundness.testing.ProgramExitReachabilitySoundnessTester

public class ProgramExitReachabilitySoundnessTester
extends java.lang.Object

Simple soundness testing: checks that the static analysis and concrete execution agree on how the program terminates.

Constructor Summary

Constructors

Constructor and Description
ProgramExitReachabilitySoundnessTester(java.util.Set<SoundnessCheck> checks, GenericSolver.SolverInterface c)

Method Summary

Modifier and Type	Method and Description
boolean	test(java.lang.String runResult)

Methods inherited from class java.lang.Object

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

Constructor Detail

ProgramExitReachabilitySoundnessTester

public ProgramExitReachabilitySoundnessTester(java.util.Set<SoundnessCheck> checks,
                                              GenericSolver.SolverInterface c)

Method Detail

test

public boolean test(java.lang.String runResult)