Repeat a bit-vector n times by concatenation.
(n: int, a: BitVecRef)
| 1917 | |
| 1918 | |
| 1919 | def RepeatBitVec(n: int, a: BitVecRef) -> BitVecRef: |
| 1920 | """Repeat a bit-vector n times by concatenation.""" |
| 1921 | if n < 1: |
| 1922 | raise TypeError("RepeatBitVec requires n >= 1") |
| 1923 | result = a |
| 1924 | for _ in range(n - 1): |
| 1925 | result = Concat(result, a) |
| 1926 | return result |
| 1927 | |
| 1928 | |
| 1929 | def BVRedAnd(a: BitVecRef) -> BitVecRef: |