Searched refs:expectSatisfiable (Results 1 – 1 of 1) sorted by relevance
53 expectSatisfiable( in TEST()64 expectSatisfiable( in TEST()85 expectSatisfiable( 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()[all …]