@CheckReturnValue @ParametersAreNonnullByDefault @ReturnValuesAreNonnullByDefault

Package org.sosy_lab.java_smt.test

Solver-independent tests and test utilities for the solver API.

See: Description

Class Summary

Class	Description
BooleanFormulaSubject	Subject subclass for testing assertions about BooleanFormulas with Truth (allows to use assert_().about(...).that(formula).isUnsatisfiable() etc.).
ProverEnvironmentSubject	Subject subclass for testing assertions about ProverEnvironments with Truth (allows to use assert_().about(...).that(stack).isUnsatisfiable() etc.).
SolverBasedTest0	Abstract base class with helpful utilities for writing tests that use an SMT solver.

Package org.sosy_lab.java_smt.test Description

Solver-independent tests and test utilities for the solver API.