@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.). |
| HoudiniApp | |
| MemoryApp | |
| 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.
|