Skip to content

CONTRACTS: make ptr_pred_ctx_reset_call call reset instead of init #11546

CONTRACTS: make ptr_pred_ctx_reset_call call reset instead of init

CONTRACTS: make ptr_pred_ctx_reset_call call reset instead of init #11546

Annotations

2 warnings

check-macos-15-intel-make-clang

succeeded Dec 30, 2025 in 27m 40s