sammccall accepted this revision.
sammccall added inline comments.
This revision is now accepted and ready to land.
================
Comment at: clang/unittests/Analysis/FlowSensitive/TestingSupport.h:180
+ /// SAT solver factory.
+ std::function<std::unique_ptr<Solver>()> SolverFactory = [] {
+ return std::make_unique<WatchedLiteralsSolver>();
----------------
(lambdas in headers make me slightly leery, this looks fine though)
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D154833/new/
https://reviews.llvm.org/D154833
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
