Searched refs:SolverTest (Results 1 – 4 of 4) 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 …]
|
| H A D | CMakeLists.txt | 19 SolverTest.cpp
|
| /llvm-project-15.0.7/llvm/utils/gn/secondary/clang/unittests/Analysis/FlowSensitive/ |
| H A D | BUILD.gn | 28 "SolverTest.cpp",
|
| /llvm-project-15.0.7/clang/docs/tools/ |
| H A D | clang-formatted-files.txt | 639 clang/unittests/Analysis/FlowSensitive/SolverTest.cpp
|