diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2012-10-24 15:22:59 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2012-10-24 15:22:59 +0000 |
| commit | 648f3ed8e838976b14cf7452870bef4a56c9a6fe (patch) | |
| tree | 3790633103284c8413f4d4d82d841db10b18d25f /docs | |
| parent | a45a0b93894bcc7a3c164934c33595a98693f54c (diff) | |
| download | klee-648f3ed8e838976b14cf7452870bef4a56c9a6fe.tar.gz | |
Patch by Dan Liew improving the description of getZExtValue (see discussion at http://keeda.stanford.edu/pipermail/klee-dev/2012-September/000928.html)
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166573 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions