MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / StringVal

Function StringVal

lean_py/z3/core.py:2282–2284  ·  view source on GitHub ↗

Create a string literal.

(s: str)

Source from the content-addressed store, hash-verified

2280
2281
2282def StringVal(s: str) -> StringRef:
2283 """Create a string literal."""
2284 return StringRef(StringLit(s))
2285
2286
2287def Length(s: StringRef | SeqRef) -> ArithRef:

Callers 15

resolve_exprMethod · 0.90
test_string_literalMethod · 0.90
test_string_concat_operatorMethod · 0.90
test_containsMethod · 0.90
test_prefix_suffixMethod · 0.90
test_replaceMethod · 0.90
test_indexofMethod · 0.90
test_str_to_int_and_backMethod · 0.90
test_str_concat_variadicMethod · 0.90
test_re_from_literalMethod · 0.90
test_starMethod · 0.90
test_plusMethod · 0.90

Calls 2

StringLitClass · 0.90
StringRefClass · 0.85

Tested by 15

test_string_literalMethod · 0.72
test_string_concat_operatorMethod · 0.72
test_containsMethod · 0.72
test_prefix_suffixMethod · 0.72
test_replaceMethod · 0.72
test_indexofMethod · 0.72
test_str_to_int_and_backMethod · 0.72
test_str_concat_variadicMethod · 0.72
test_re_from_literalMethod · 0.72
test_starMethod · 0.72
test_plusMethod · 0.72
test_optionMethod · 0.72