Shared via CrossHair Playground

main.py

from crosshair.core_and_libs import proxy_for_type, standalone_statespace
from pathlib import PurePath
from crosshair.core import NoTracing
from crosshair.libimpl.builtinslib import (LazyIntSymbolicStr, SymbolicBoundedIntTuple)
                                           
with standalone_statespace:
    with NoTracing():
        # Any of these definitions will exhibit the issue,
        # because we don't really do anything with the string:
        
        # The usual way:
        symbolic = proxy_for_type(str, "tempname")
        # And the more internal way to do the same thing:
        symbolic = LazyIntSymbolicStr("tempname")
        # A "symbolic" string that only has one interpretation, the string "hi":
        symbolic = LazyIntSymbolicStr([ord("h"), ord("i")])
        # # a symblic string that can represent any hexidecimal string:
        symbolic = LazyIntSymbolicStr(
            SymbolicBoundedIntTuple([(ord("a"), ord("f")), (ord("0"), ord("9"))], "tempname")
        )

    PurePath(symbolic)