forked from OSchip/llvm-project
5740e77f03
In this mode the tool would avoid duplicating the contents of the program state on every node, replacing them with a diff-like dump of changes that happened on that node. This is useful because most of the time we only interested in whether the effect of the statement was modeled correctly. A diffed graph would also be much faster to load and navigate, being much smaller than the original graph. The diffs are computed "semantically" as opposed to plain text diffs. I.e., the diff algorithm is hand-crafted separately for every state trait, taking the underlying data structures into account. This is especially nice for Environment because textual diffs would have been terrible. On the other hand, it requires some boilerplate to implement. Differential Revision: https://reviews.llvm.org/D62761 llvm-svn: 363898 |
||
|---|---|---|
| .. | ||
| CmpRuns.py | ||
| SATestAdd.py | ||
| SATestBuild.py | ||
| SATestUpdateDiffs.py | ||
| SATestUtils.py | ||
| SumTimerInfo.py | ||
| exploded-graph-rewriter.py | ||
| reducer.pl | ||
| update_plist_test.pl | ||