Package sofya.mutator.verifier

Interface Summary

VerificationResult	Records the result of applying verification to a class or method.
Verifier	A verifier performs verification of Java classes and methods.

Class Summary

JustIceVerifier	Wrapper for BCEL's JustIce verifier.
PlatformJVMVerifier	Adapter to use the runtime verifier of the current JVM to verify class files.
Verifier.Pass	Type-safe enumeration used for specifying levels of verification.
VerifierFactory	Creates instances of verifiers to be used in verifying mutations.

Exception Summary

VerifierException

An exception to indicate that an error has occurred in the verifier component.