org.sosy_lab.java_smt.test (JavaSMT Solver Library)

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

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

Package org.sosy_lab.java_smt.test