Method test_ashr

tests/test_z3_ported.py:2182–2186

(self)

        assert r._ast.op == BinOp.SREM

    def test_ashr(self):
        x = BitVec("x", 8)
        r = AShr(x, 2)
        assert r.size() == 8
        assert r._ast.op == BinOp.ASHR

    def test_rotate_left_zero_identity(self, kernel):
        """RotateLeft(x, 0) == x."""