Method test_seq_const

tests/test_z3_compat.py:2118–2122

Const with SeqSort creates SeqRef.

(self)

        assert isinstance(su, BoolRef)

    def test_seq_const(self):
        """Const with SeqSort creates SeqRef."""

        s = Const("s", SeqSort(IntSort()))
        assert isinstance(s, SeqRef)