Lines Matching refs:expectSatisfiable

43 void expectSatisfiable(Solver::Result Result, Matcher Solution) {  in expectSatisfiable()  function
53   expectSatisfiable(  in TEST()
64   expectSatisfiable(  in TEST()
85   expectSatisfiable(  in TEST()
130   expectSatisfiable(solve({XOrNotX}), _);  in TEST()
139   expectSatisfiable(solve({XOrX}), _);  in TEST()
158   expectSatisfiable(solve({XAndX}), _);  in TEST()
171   expectSatisfiable(  in TEST()
188   expectSatisfiable(  in TEST()
229   expectSatisfiable(solve({XEqX}), _);  in TEST()
239   expectSatisfiable(  in TEST()
256   expectSatisfiable(  in TEST()
300   expectSatisfiable(solve({A, B}), _);  in TEST()