Function SDiv

lean_py/z3/core.py:1634–1636 · view source on GitHub ↗

Signed division.

(a: BitVecRef, b: BitVecRef | int)

Source from the content-addressed store, hash-verified

1632
1633
1634	def SDiv(a: BitVecRef, b: BitVecRef \| int) -> BitVecRef:
1635	"""Signed division."""
1636	return a._binop(BinOp.SDIV, b)
1637
1638
1639	def SRem(a: BitVecRef, b: BitVecRef \| int) -> BitVecRef:

test_sdiv_by_oneMethod · 0.90

test_sdivMethod · 0.90

test_sdiv_astMethod · 0.90

test_sdiv_with_bv_operandMethod · 0.90

test_sdiv_positiveMethod · 0.90

_binopMethod · 0.45

test_sdiv_by_oneMethod · 0.72

test_sdivMethod · 0.72

test_sdiv_astMethod · 0.72

test_sdiv_with_bv_operandMethod · 0.72

test_sdiv_positiveMethod · 0.72