@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault

Package org.sosy_lab.java_smt.delegating.replay

Wraps the proving environment with an additional logger for API interaction.

See: Description

Class Summary

Class	Description
ReplaySolverContext	SolverContext that wraps all prover environments in their logging versions.

Package org.sosy_lab.java_smt.delegating.replay Description

Wraps the proving environment with an additional logger for API interaction.