Method test_srem

tests/test_z3_ported.py:2176–2180

(self)

        assert r._ast.op == BinOp.SDIV

    def test_srem(self):
        x, y = BitVecs("x y", 8)
        r = SRem(x, y)
        assert r.size() == 8
        assert r._ast.op == BinOp.SREM

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