diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2010-06-25 01:45:21 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2010-06-25 01:45:21 +0000 |
| commit | f08eb87cae0835141e54ba4d8df7ca99442b6f64 (patch) | |
| tree | d3506b455883f375418ffc502ad5fdb376fde158 /tools/klee-replay | |
| parent | e09eb2876e8bae2a683f40dc338537b08298cc99 (diff) | |
| download | klee-f08eb87cae0835141e54ba4d8df7ca99442b6f64.tar.gz | |
Clarify that expression labels are globally scoped.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@106817 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'tools/klee-replay')
0 files changed, 0 insertions, 0 deletions