MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / RotateLeft

Function RotateLeft

lean_py/z3/core.py:1624–1626  ·  view source on GitHub ↗

Rotate left.

(a: BitVecRef, b: BitVecRef | int)

Source from the content-addressed store, hash-verified

1622
1623
1624def RotateLeft(a: BitVecRef, b: BitVecRef | int) -> BitVecRef:
1625 """Rotate left."""
1626 return a._binop(BinOp.ROTL, b)
1627
1628
1629def RotateRight(a: BitVecRef, b: BitVecRef | int) -> BitVecRef:

Callers 10

_resolve_indexed_appMethod · 0.90
test_rotate_left_right_inverseMethod · 0.90
test_bv_rotate_fullMethod · 0.90
test_rotate_leftMethod · 0.90
test_rotate_left_zero_identityMethod · 0.90
test_rotate_left_astMethod · 0.90
test_rotate_left_width_preservedMethod · 0.90
test_rotate_left_proofMethod · 0.90
test_rotate_left_identityMethod · 0.90
test_rotate_left_groundMethod · 0.90

Calls 1

_binopMethod · 0.45

Tested by 9

test_rotate_left_right_inverseMethod · 0.72
test_bv_rotate_fullMethod · 0.72
test_rotate_leftMethod · 0.72
test_rotate_left_zero_identityMethod · 0.72
test_rotate_left_astMethod · 0.72
test_rotate_left_width_preservedMethod · 0.72
test_rotate_left_proofMethod · 0.72
test_rotate_left_identityMethod · 0.72
test_rotate_left_groundMethod · 0.72