diff options
| author | Hoang M. Le <hle@informatik.uni-bremen.de> | 2016-06-27 14:12:21 +0200 |
|---|---|---|
| committer | Hoang M. Le <hle@informatik.uni-bremen.de> | 2016-06-27 14:12:21 +0200 |
| commit | 4f4b930df0306fb57eecd06eea182115f01b94e5 (patch) | |
| tree | 403abd4bb2137dd71239b374c8f0c95edcde73f7 /test/Feature/CompressedExprLogging.c | |
| parent | a49c6fabebb91718b54489e7c09cb7bddc9795b2 (diff) | |
| download | klee-4f4b930df0306fb57eecd06eea182115f01b94e5.tar.gz | |
change bitwidth of expr_shpost in MetaSMTBuilder::constructSDivByConstant to 64, so that the first two arguments of the call bvVarRightShift(extend_npm, expr_shpost, 64) have the same bitwidth of 64.
Diffstat (limited to 'test/Feature/CompressedExprLogging.c')
0 files changed, 0 insertions, 0 deletions