diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2011-05-26 20:40:29 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2011-05-26 20:40:29 +0000 |
| commit | d9fe595122cd7c991163a8ab77a543375bb049a4 (patch) | |
| tree | 60d0d93f2d9041b74e5839456282bbab0cf5505f /Makefile | |
| parent | 958e9f99e3837ea018f18799c0055d8dc8075c4d (diff) | |
| download | klee-d9fe595122cd7c991163a8ab77a543375bb049a4.tar.gz | |
Added instructions from Philip Guo about trying out KLEE via CDE.
Added a menu on the Getting Started webpage. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@132142 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions