Method test_empty_string

tests/test_z3_ported.py:4081–4083

(self)

        assert isinstance(s, (SortRef, StringSortRef))

    def test_empty_string(self):
        e = Empty(StringSort())
        assert isinstance(e, StringRef)

    def test_unit(self):
        s = StringVal("a")