(self, other: BitVecRef | int)
| 720 | |
| 721 | # Comparisons (signed, matching z3py operator semantics) |
| 722 | def __lt__(self, other: BitVecRef | int) -> BoolRef: |
| 723 | other = _coerce_bv(other, self._sort) |
| 724 | return BoolRef( |
| 725 | BinOpNode(BinOp.SLT, self._ast, other._ast), |
| 726 | _merge(self._vars, other._vars), |
| 727 | ) |
| 728 | |
| 729 | def __le__(self, other: BitVecRef | int) -> BoolRef: |
| 730 | other = _coerce_bv(other, self._sort) |
nothing calls this directly
no test coverage detected