Method test_is_seq

tests/test_z3_ported.py:4249–4251

(self)

        assert not is_fp_value(FP("x", Float32()))

    def test_is_seq(self):
        assert is_seq(String("s"))
        assert not is_seq(Int("x"))

    def test_is_re(self):
        assert is_re(Re(StringVal("abc")))