Method test_sdiv

tests/test_z3_ported.py:2170–2174

(self)

        assert r._ast.op == BinOp.ROTR

    def test_sdiv(self):
        x, y = BitVecs("x y", 8)
        r = SDiv(x, y)
        assert r.size() == 8
        assert r._ast.op == BinOp.SDIV

    def test_srem(self):
        x, y = BitVecs("x y", 8)