Method test_length_nonneg

tests/test_z3_semantic.py:825–827

(self, kernel)

        assert _try_prove(PrefixOf(StringVal("ab"), StringVal("abcd")))

    def test_length_nonneg(self, kernel):
        x = String("x")
        assert _try_prove(Length(x) >= IntVal(0))


# ===================================================================