diff options
| author | lianah <lianahady@gmail.com> | 2012-12-13 15:28:44 -0500 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2012-12-13 15:28:44 -0500 |
| commit | ff3b8ab52b405f86201614688fc26d3726a3030d (patch) | |
| tree | 890ef788b8d315bf548816a70a169f17ce9ed97e /src/theory/bv/slicer.h | |
| parent | e5c363fe467c0a29df2c36da74a27413103d584a (diff) | |
more slicer bug fixes
Diffstat (limited to 'src/theory/bv/slicer.h')
| -rw-r--r-- | src/theory/bv/slicer.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/bv/slicer.h b/src/theory/bv/slicer.h index 33bc26b5a..cb4636fef 100644 --- a/src/theory/bv/slicer.h +++ b/src/theory/bv/slicer.h @@ -43,14 +43,14 @@ class Base { public: Base(uint32_t size) : d_size(size) { - Assert (size > 1); + Assert (size > 0); d_repr = BitVector(size - 1, 0u); } Base(const BitVector& repr) : d_size(repr.getSize() + 1), d_repr(repr) { - Assert (d_size > 1); + Assert (d_size > 0); } /** |