diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-09-10 20:23:47 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-11 03:23:47 +0000 |
| commit | 87453ed0f6fd123a54c7f17b958b2c2c9ca9d47b (patch) | |
| tree | 448b044b8a298491ac5f3605dcd27f6d61e74c65 /test/regress/regress0/arith/div.05.smt2 | |
| parent | 66a4efbf7833046373be0db7a427614be08b3160 (diff) | |
bv: Move IsPowerOfTwo rule to preprocessing pass and use EnvObj. (#7179)
IsPowerOfTwo rule is specific to the BvIntroPow2 preprocessing pass and should not be a general bit-vector rewrite rule.
Diffstat (limited to 'test/regress/regress0/arith/div.05.smt2')
0 files changed, 0 insertions, 0 deletions