Searched defs:SolverTest (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/ |
| H A D | SolverTest.cpp | 48 TEST(SolverTest, Var) { in TEST() argument
58 TEST(SolverTest, NegatedVar) { in TEST() argument
69 TEST(SolverTest, UnitConflict) { in TEST() argument
78 TEST(SolverTest, DistinctVars) { in TEST() argument
91 TEST(SolverTest, DoubleNegation) { in TEST() argument
161 TEST(SolverTest, PureVar) { in TEST() argument
194 TEST(SolverTest, DeepConflict) { in TEST() argument
223 TEST(SolverTest, IffSameVars) { in TEST() argument
232 TEST(SolverTest, IffDistinctVars) { in TEST() argument
249 TEST(SolverTest, IffWithUnits) { in TEST() argument
[all …]
|