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