ch tests: realize args on exception

Author: pschanely

.claude/worktrees/mystifying-jennings-4f9032

@@ -0,0 +1 @@
+Subproject commit 07c19033a2877b1c36b0376d050d015b61adcfff

crosshair/test_util.py

@@ -246,8 +246,6 @@ def summarize_execution(
             ret = f"C-based callable {type(_ret).__name__}"
         else:
             ret = _ret
-        args = deep_realize(args)
-        kwargs = deep_realize(kwargs)
     except Exception as e:
         exc = e
         if detach_path:
@@ -258,6 +256,8 @@ def summarize_execution(
         tbstr = ch_stack(currently_handling=exc)
         if in_debug():
             debug("hit exception:", type(exc), exc, tbstr)
+    args = deep_realize(args)
+    kwargs = deep_realize(kwargs)
     return ExecutionResult(ret, exc, tbstr, args, kwargs)
 
 

crosshair/test_util_test.py

@@ -1,4 +1,7 @@
-from crosshair.test_util import flexible_equal
+from crosshair.core import proxy_for_type
+from crosshair.core_and_libs import standalone_statespace
+from crosshair.test_util import flexible_equal, summarize_execution
+from crosshair.tracers import ResumedTracing
 
 
 def test_flexible_equal():
@@ -24,3 +27,15 @@ def gen():
     ordered_dict_2 = {3: 4, 1: 2}
     assert list(ordered_dict_1.items()) != list(ordered_dict_2.items())
     assert flexible_equal(ordered_dict_1, ordered_dict_2)
+
+
+def test_summarize_execution_realizes_post_args_on_exception():
+    def raiser(x):
+        raise ValueError
+
+    with standalone_statespace:
+        symbolic_int = proxy_for_type(int, "i")
+        with ResumedTracing():
+            result = summarize_execution(raiser, (symbolic_int,))
+    assert type(result.exc) is ValueError
+    assert type(result.post_args[0]) is int

crosshair/type_repo.py

@@ -17,6 +17,8 @@
     "z3",
     # These are disabled for performance or type search effectiveness:
     "hypothesis",
+    # pdb._ScriptTarget is assumption-breaking: it's a str subclass that can compare unequal after copy:
+    "pdb",
     "pkg_resources",
     "pytest",
     "py",  # (part of pytest)