@CheckReturnValue @ParametersAreNonnullByDefault @ReturnValuesAreNonnullByDefault
See: Description
| 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.
|