Method test_complement

tests/test_z3_ported.py:1480–1482

(self)

        assert isinstance(r, ReRef)

    def test_complement(self):
        r = Complement(Re(StringVal("a")))
        assert isinstance(r, ReRef)

    def test_range(self):
        r = Range("a", "z")