diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-02-14 18:45:21 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-02-14 18:45:21 +0000 |
| commit | 6e4e74b99a199ead458b0b919286d667bd8e8f28 (patch) | |
| tree | 1ed4ba4cc639b178f16d8a56bd75799d5033904e /lib/Expr/ExprSMTLIBLetPrinter.cpp | |
| parent | e70cd5b0764fe50f1e081a7d3e8e81fd623aa090 (diff) | |
| download | klee-6e4e74b99a199ead458b0b919286d667bd8e8f28.tar.gz | |
Explicitly get the width of the "shift" expression rather than assuming
that is the samw width of the "expr" expression. It probably is the same width (it defintely is in SMT-LIB but I'm not sure about STP) but it is probably better to be explicit.
Diffstat (limited to 'lib/Expr/ExprSMTLIBLetPrinter.cpp')
0 files changed, 0 insertions, 0 deletions