Method test_rotate_left

tests/test_z3_ported.py:2158–2162

(self)

    """BV signed operations and rotations."""

    def test_rotate_left(self):
        x = BitVec("x", 8)
        r = RotateLeft(x, 3)
        assert r.size() == 8
        assert r._ast.op == BinOp.ROTL

    def test_rotate_right(self):
        x = BitVec("x", 8)