Skip to content
Commit 8569309b authored by Ted Kremenek's avatar Ted Kremenek
Browse files

Added ownership of "checker state" within the ExplodedGraph. Moved code that 

creates the initial root node from the constructor of ReachabilityEngine to
ReachabilityEngine::ExecuteWorklist.

llvm-svn: 45722
parent dc917b9e
Hide whitespace changes
Inline Side-by-side
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