Skip to content
GitLab
Commit 3b29b8a2 authored by Samira Bazuzi's avatar Samira Bazuzi Committed by Dmitri Gribenko
Browse files

Expose DataflowAnalysisContext.querySolver(). 

This allows for use of the same solver used by the DAC for additional solving post-analysis and thus shared use of MaxIterations in WatchedLiteralsSolver.

Reviewed By: ymandel, gribozavr2, sammccall

Differential Revision: https://reviews.llvm.org/D153805
parent be2dd22b
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment