Skip to content

Remove deprecated is_null_pointer#8665

Merged
kroening merged 1 commit intodiffblue:developfrom
tautschnig:remove-is_null_pointer
Jun 30, 2025
Merged

Remove deprecated is_null_pointer#8665
kroening merged 1 commit intodiffblue:developfrom
tautschnig:remove-is_null_pointer

Commits

Commits on Jun 25, 2025