Method test_length_empty

tests/test_z3_semantic.py:730–731

(self, kernel)

        assert _try_prove(Length(StringVal("hello")) == IntVal(5))

    def test_length_empty(self, kernel):
        assert _try_prove(Length(StringVal("")) == IntVal(0))

    def test_length_concat(self, kernel):
        """len(a ++ b) = len(a) + len(b) for ground strings."""