diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-02-23 18:02:53 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-23 18:02:53 -0800 |
| commit | cb8e3b305ecf83cde0380f9198fa6d3f795362cd (patch) | |
| tree | cbae726a0df059c89bdbfaaf36fcb3f356e7d298 /src/theory/quantifiers | |
| parent | cef98b9c073c6c1a1535f4f45589a86cfaab1c33 (diff) | |
Add unit tests for BitVector, minor BV rewrite fix (#1622)
This commit adds unit tests for the BitVector class and adds some additional argument checks. Additionally, it fixes a minor issue in the ZeroExtendUltConst rule if the zero_extend was by 0 bits. In that case, the rule was calling BitVector::extract() with high < low.
Diffstat (limited to 'src/theory/quantifiers')
0 files changed, 0 insertions, 0 deletions