33 Solver::Result solve(llvm::DenseSet<BoolValue *> Vals) {  in solve()
37 void expectUnsatisfiable(Solver::Result Result) {  in expectUnsatisfiable()
38   EXPECT_EQ(Result.getStatus(), Solver::Result::Status::Unsatisfiable);  in expectUnsatisfiable()
43 void expectSatisfiable(Solver::Result Result, Matcher Solution) {  in expectSatisfiable()
44   EXPECT_EQ(Result.getStatus(), Solver::Result::Status::Satisfiable);  in expectSatisfiable()
55       UnorderedElementsAre(Pair(X, Solver::Result::Assignment::AssignedTrue)));  in TEST()
66       UnorderedElementsAre(Pair(X, Solver::Result::Assignment::AssignedFalse)));  in TEST()
87       UnorderedElementsAre(Pair(X, Solver::Result::Assignment::AssignedTrue),  in TEST()
88                            Pair(Y, Solver::Result::Assignment::AssignedFalse)));  in TEST()
173       UnorderedElementsAre(Pair(X, Solver::Result::Assignment::AssignedFalse),  in TEST()
190       UnorderedElementsAre(Pair(X, Solver::Result::Assignment::AssignedFalse),  in TEST()
191                            Pair(Y, Solver::Result::Assignment::AssignedTrue)));  in TEST()
242                 Pair(X, Solver::Result::Assignment::AssignedTrue),  in TEST()
243                 Pair(Y, Solver::Result::Assignment::AssignedTrue)),  in TEST()
245                 Pair(X, Solver::Result::Assignment::AssignedFalse),  in TEST()
246                 Pair(Y, Solver::Result::Assignment::AssignedFalse))));  in TEST()
258       UnorderedElementsAre(Pair(X, Solver::Result::Assignment::AssignedTrue),  in TEST()
259                            Pair(Y, Solver::Result::Assignment::AssignedTrue)));  in TEST()