Method test_sdiv_ast

tests/test_z3_compat.py:1184–1188

(self)

        assert r._ast.op == BinOp.ROTR

    def test_sdiv_ast(self):
        x = BitVec("x", 8)
        r = SDiv(x, 2)
        assert isinstance(r._ast, BinOpNode)
        assert r._ast.op == BinOp.SDIV

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