Shared via CrossHair Playground

main.py

import re

from crosshair import NoTracing
from crosshair.statespace import context_statespace

_TWO_DIGITS_REGEX = re.compile("[1-9][0-9]")
def top(ipstr: str) -> bool:
    """
    This is an example of dumping the solver state after running some python
    code.
    
    post: True
    """
    if _TWO_DIGITS_REGEX.fullmatch(ipstr):
        x = 42
    with NoTracing():
        print("=== new iteration ===")
        print(context_statespace().solver.sexpr())