Lines Matching refs:expectUnsatisfiable

37 void expectUnsatisfiable(Solver::Result Result) {  in expectUnsatisfiable()  function
75   expectUnsatisfiable(solve({X, NotX}));  in TEST()
98   expectUnsatisfiable(solve({NotNotX, NotX}));  in TEST()
109   expectUnsatisfiable(solve({NotXOrY, XOrY}));  in TEST()
120   expectUnsatisfiable(solve({NotXAndY, XAndY}));  in TEST()
149   expectUnsatisfiable(solve({XAndNotX}));  in TEST()
206   expectUnsatisfiable(solve({XOrY, NotXOrY, NotXOrNotY, XOrNotY}));  in TEST()
220   expectUnsatisfiable(solve({NotEquivalent}));  in TEST()
270   expectUnsatisfiable(solve({XEqY, X, NotY}));  in TEST()
283   expectUnsatisfiable(solve({XEqY, YEqZ, Z, NotX}));  in TEST()
311   expectUnsatisfiable(solve({XEqY, X, NotY}));  in TEST()
323   expectUnsatisfiable(solve({NotEquivalent}));  in TEST()
334   expectUnsatisfiable(solve({XImplY, XAndNotY}));  in TEST()