diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-02-15 17:34:54 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-15 17:34:54 -0600 |
commit | 98b9a45b8659e318bc529c223717f9f2fcd3b503 (patch) | |
tree | ff32335537cba701f0dd3f08cbed7fe880f25bc9 /test/regress/regress0/simplification_bug2.smt | |
parent | 55037e0bcef45c795f28ff3fcf6c1055af465c70 (diff) |
Fix corner case for rewrite of mult by pow 2 (#1601)
Diffstat (limited to 'test/regress/regress0/simplification_bug2.smt')
0 files changed, 0 insertions, 0 deletions