vbpf / prevail / 22277619858

Build # 22277619858

Build Type

push

github

Committed by elazarg

Commit Message

Address review comments: clarify comments in type-mismatch branches

Update comments in the mixed-type Assume handling to accurately
reflect the actual invariants:
- In the numeric branch: document the deliberate precision trade-off
  of not splitting by concrete type via join_over_types.
- In the bottom branch: remove the inaccurate claim that the checker
  should have caught this case, since CFG-split edges and implicit
  Assumes can legitimately reach this path.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

Coverage Stats

13145 of 14854 relevant lines covered (88.49%)

4639134.46 hits per line

Source File

Press 'n' to go to next uncovered line, 'b' for previous

Source Not Available