[PATCH] D152732: [clang][dataflow] Support limits on the SAT solver to force timeouts.

[Kinuko Yasuda via Phabricator via cfe-commits]

kinu added a comment.

LGTM as well, I was initially thinking about having a local limit per query (which could be easier to pinpoint the particular query that explodes), but per-solver instance limit could make sense as a starter too.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D152732/new/

https://reviews.llvm.org/D152732