Method test_str_from_code

tests/test_z3_ported.py:4309–4312

(self)

        assert isinstance(result, ArithRef)

    def test_str_from_code(self):
        c = IntVal(65)
        result = StrFromCode(c)
        assert isinstance(result, StringRef)

    def test_at(self):
        s = String("s")