[PATCH] Simplify ownership of ExplodedGraph in the CoreEngine by removing unique_ptr indirection.

[Jordan Rose]

That seems entirely reasonable. If we ever need to have ExplodedGraphs persist past the lifetime of the CoreEngine, we can put back something like this. Or make the copy/move constructor efficient!

http://reviews.llvm.org/D4833