diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-10-25 00:31:01 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-10-25 00:31:01 +0000 |
| commit | c846affd2d21421d9b10e33b3fe4e3281b0f2655 (patch) | |
| tree | 0cafcb3c43933c8c8b6261b02cde1b5a68e07f36 /include | |
| parent | 3264dcd97024250729183ed6398c5d8a9aa7472d (diff) | |
| download | klee-c846affd2d21421d9b10e33b3fe4e3281b0f2655.tar.gz | |
Update instructions to suggest using LLVM 2.6.
Also, link TestingCoreutils document from tutorials page. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@85025 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions