Convert an integer to a bit-vector of width n.
(x: ArithRef, n: int)
| 1613 | |
| 1614 | |
| 1615 | def Int2BV(x: ArithRef, n: int) -> BitVecRef: |
| 1616 | """Convert an integer to a bit-vector of width n.""" |
| 1617 | return BitVecRef( |
| 1618 | Int2BvNode(n, x._ast), |
| 1619 | BitVecSort(n), |
| 1620 | x._vars, |
| 1621 | ) |
| 1622 | |
| 1623 | |
| 1624 | def RotateLeft(a: BitVecRef, b: BitVecRef | int) -> BitVecRef: |