Skip to content

fix(core): isolate path conditions at the procedure boundary#1391

Merged
fabiomadge merged 2 commits into
reviewed-kbd-will-merge-to-mainfrom
fix/core-pathcond-leak-procedure-boundary
Jun 22, 2026
Merged

fix(core): isolate path conditions at the procedure boundary#1391
fabiomadge merged 2 commits into
reviewed-kbd-will-merge-to-mainfrom
fix/core-pathcond-leak-procedure-boundary

docs(core): trim path-condition-isolation comments

8e68ec8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Analyze (c-cpp)
succeeded Jun 18, 2026 in 57s