diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2010-02-09 08:36:40 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2010-02-09 08:36:40 +0000 |
| commit | 14fabaafba1f6703c7eb4d3403a44f9669206709 (patch) | |
| tree | 08fff3565323d283ad7edd0c95b9a7a336a2746b /lib/Solver/ConstantDivision.cpp | |
| parent | defa6b37735ab7daf7df69c7f62337c070a34fe4 (diff) | |
| download | klee-14fabaafba1f6703c7eb4d3403a44f9669206709.tar.gz | |
Fix PR6211, the comparison was created with the wrong width. Patch by Stefan
Bucur! git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@95659 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Solver/ConstantDivision.cpp')
0 files changed, 0 insertions, 0 deletions