Searched refs:expectUnsatisfiable (Results 1 – 1 of 1) sorted by relevance
37 void expectUnsatisfiable(Solver::Result Result) { in expectUnsatisfiable() function75 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()220 expectUnsatisfiable(solve({NotEquivalent})); in TEST()270 expectUnsatisfiable(solve({XEqY, X, NotY})); in TEST()311 expectUnsatisfiable(solve({XEqY, X, NotY})); in TEST()323 expectUnsatisfiable(solve({NotEquivalent})); in TEST()[all …]