Method test_complement

tests/test_z3_compat.py:1492–1494

(self)

        assert isinstance(r, ExprRef)

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

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