Method test_length

tests/test_z3_semantic.py:727–728

(self, kernel)

        )

    def test_length(self, kernel):
        assert _try_prove(Length(StringVal("hello")) == IntVal(5))

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