CONTRACTS: make ptr_pred_ctx_reset_call call reset instead of init#8817

Merged

tautschnig merged 1 commit intodiffblue:developfrom

remi-delmas-3000:remi-delmas-3000-pointer-predicate-context-reset

Dec 31, 2025

Commits on Dec 30, 2025

CONTRACTS: bugfix: make ptr_pred_ctx_reset_call call reset instead of init function

remi-delmas-3000
authored and
tautschnig
committed