perf(symbolic): reduce solver work with path-bounded arithmetic guards#15079

mablr merged 1 commit into

foundry-rs:mattsse/native-symbolic-testingfoundry-rs/foundry:mattsse/native-symbolic-testingfrom

figtracer:codex/symbolic-context-boundsfigtracer/foundry:codex/symbolic-context-boundsCopy head branch name to clipboard