diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2010-09-30 05:01:33 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2010-09-30 05:01:33 +0000 |
| commit | c641cc2e5dee453f6098ff5cc85b0e3464ba0886 (patch) | |
| tree | 80f7c3d32e3faf4053380a22bbde564665ca99eb /test/Dogfood/dg.exp | |
| parent | e69a71a164be39baef2a4d3e450c733fd4c7868a (diff) | |
| download | klee-c641cc2e5dee453f6098ff5cc85b0e3464ba0886.tar.gz | |
Spell versioning macros correctly.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@115140 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Dogfood/dg.exp')
0 files changed, 0 insertions, 0 deletions