68 TYPED_TEST_P(SolverTest, Var) {  in TYPED_TEST_P()  argument
77 TYPED_TEST_P(SolverTest, NegatedVar) {  in TYPED_TEST_P()  argument
87 TYPED_TEST_P(SolverTest, UnitConflict) {  in TYPED_TEST_P()  argument
96 TYPED_TEST_P(SolverTest, DistinctVars) {  in TYPED_TEST_P()  argument
108 TYPED_TEST_P(SolverTest, DoubleNegation) {  in TYPED_TEST_P()  argument
118 TYPED_TEST_P(SolverTest, NegatedDisjunction) {  in TYPED_TEST_P()  argument
129 TYPED_TEST_P(SolverTest, NegatedConjunction) {  in TYPED_TEST_P()  argument
140 TYPED_TEST_P(SolverTest, DisjunctionSameVarWithNegation) {  in TYPED_TEST_P()  argument
150 TYPED_TEST_P(SolverTest, DisjunctionSameVar) {  in TYPED_TEST_P()  argument
159 TYPED_TEST_P(SolverTest, ConjunctionSameVarsConflict) {  in TYPED_TEST_P()  argument
169 TYPED_TEST_P(SolverTest, ConjunctionSameVar) {  in TYPED_TEST_P()  argument
178 TYPED_TEST_P(SolverTest, PureVar) {  in TYPED_TEST_P()  argument
193 TYPED_TEST_P(SolverTest, MustAssumeVarIsFalse) {  in TYPED_TEST_P()  argument
209 TYPED_TEST_P(SolverTest, DeepConflict) {  in TYPED_TEST_P()  argument
224 TYPED_TEST_P(SolverTest, IffIsEquivalentToDNF) {  in TYPED_TEST_P()  argument
238 TYPED_TEST_P(SolverTest, IffSameVars) {  in TYPED_TEST_P()  argument
247 TYPED_TEST_P(SolverTest, IffDistinctVars) {  in TYPED_TEST_P()  argument
262 TYPED_TEST_P(SolverTest, IffWithUnits) {  in TYPED_TEST_P()  argument
274 TYPED_TEST_P(SolverTest, IffWithUnitsConflict) {  in TYPED_TEST_P()  argument
284 TYPED_TEST_P(SolverTest, IffTransitiveConflict) {  in TYPED_TEST_P()  argument
295 TYPED_TEST_P(SolverTest, DeMorgan) {  in TYPED_TEST_P()  argument
304 TYPED_TEST_P(SolverTest, RespectsAdditionalConstraints) {  in TYPED_TEST_P()  argument
314 TYPED_TEST_P(SolverTest, ImplicationIsEquivalentToDNF) {  in TYPED_TEST_P()  argument
322 TYPED_TEST_P(SolverTest, ImplicationConflict) {  in TYPED_TEST_P()  argument
331 TYPED_TEST_P(SolverTest, ReachedLimitsReflectsTimeouts) {  in TYPED_TEST_P()  argument
343 TYPED_TEST_P(SolverTest, SimpleButLargeContradiction) {  in TYPED_TEST_P()  argument