diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2012-07-20 15:29:12 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2012-07-20 15:29:12 +0000 |
| commit | de7d94e27bc92292c74fd045b2565581694314a7 (patch) | |
| tree | e05f76d3cddafceff5d3262f3f5888176400bca2 /test/Feature/MultipleWriteResolution.c | |
| parent | 69a3e3221bf6bb8f33a4f5180bba38bfdc98f27c (diff) | |
| download | klee-de7d94e27bc92292c74fd045b2565581694314a7.tar.gz | |
Fixed bug FPToSI bug reported by Peng Li. Added a simple test case.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@160547 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Feature/MultipleWriteResolution.c')
0 files changed, 0 insertions, 0 deletions