Package org.sosy_lab.java_smt.test

@CheckReturnValue @ParametersAreNonnullByDefault @ReturnValuesAreNonnullByDefault package org.sosy_lab.java_smt.test

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

Related Packages

Package	Description
org.sosy_lab.java_smt	JavaSMT: a generic SMT solver API.
org.sosy_lab.java_smt.api	The core interfaces for abstracting from SMT solvers and providing a common API for all solvers.
org.sosy_lab.java_smt.basicimpl	Abstract base classes for easier implementation of a solver backend.
org.sosy_lab.java_smt.example	Some basic examples for using Java-SMT.
org.sosy_lab.java_smt.utils	Utility classes implementing algorithms based on the API of JavaSMT.

Classes

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