Method test_intersect

tests/test_z3_compat.py:1486–1490

(self)

        assert isinstance(r, ExprRef)

    def test_intersect(self):
        a = Re(StringVal("a"))
        b = Re(StringVal("b"))
        r = Intersect(a, b)
        assert isinstance(r, ExprRef)

    def test_complement(self):
        r = Complement(Re(StringVal("a")))