Home / Topics / 74

Branch feasibility & active-state limits

25 memories · 18 remembered, 7 forgotten (72% kept).

Label

Written by llm:claude-sonnet-5-5 on 2026-10-15T04:38:20Z. Change it with angr-memories topics label 74 "<label>".

Key prefixes

invariant 14 · pbounce 2 · 3tek2 1 · avoid 1

Nearest the centre

invariant-z3-unknown-not-unsat, invariant-never-prime-sat-cache, invariant-max-active-states-two-sites, invariant-sync-constraints-p14-dominated-by-p12, z3-timeout-test-pattern, invariant-sync-constraints-partial-recheck-dominated

Members

• default-max-active-states
• invariant-active-stash-push
• invariant-active-stash-push-parallel-note
• invariant-check-branch-feasibility-not-can-be-pair
• invariant-eager-branch-children-need-sat-check
• invariant-max-active-states-two-sites
• invariant-never-prime-sat-cache
• invariant-pbounce-leaf-projection
• invariant-strided-grid-completeness
• invariant-two-solution-stride-strided-branch
• invariant-unsat-at-find-is-pruned
• invariant-unsat-state-stepping
• invariant-z3-unknown-not-unsat
• max-active-states-test-pattern
• pbounce-synthetic-six-feasible-leaves
• satoutcome-decided-forcing-function
• unsat-core-on-demand-not-tracked
• z3-timeout-test-pattern
• 3tek2-test-max-steps-tightening
• avoid-z3-sat-test-for-lane-independence
• gotcha-stride-detection-two-addrs
• invariant-sync-constraints-p14-dominated-by-p12
• invariant-sync-constraints-partial-recheck-dominated
• pbounce-synthetic-only-6-feasible-leaves
• postsync-sat-removal