| commit | 424f67155475296804f9b9159dba606859441924 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Wed Mar 05 00:59:43 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Wed Mar 05 00:59:43 2008 +0000 |
| tree | d2ae13976d77ea41133022c69c2c84383e5c21a9 | |
| parent | 544f043d7667d581792f3ac232d24343481d61d7 [diff] |
Added support for ProgramPoints to represent ExplodedNodes in another ExplodedGraph. This allows us to build "layered" ExplodedGraphs where one simulation is layered on another. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47926 91177308-0d34-0410-b5e6-96231b3b80d8