Searched refs:NotXOrNotY (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/ |
| H A D | SolverTest.cpp | 168 auto NotXOrNotY = Ctx.disj(NotX, NotY); in TEST() local
172 solve({NotXOrY, NotXOrNotY}), in TEST()
185 auto NotXOrNotY = Ctx.disj(NotX, NotY); in TEST() local
189 solve({XOrY, NotXOrY, NotXOrNotY}), in TEST()
202 auto NotXOrNotY = Ctx.disj(NotX, NotY); in TEST() local
206 expectUnsatisfiable(solve({XOrY, NotXOrY, NotXOrNotY, XOrNotY})); in TEST()
|