Skip to content

C library: remove explicit zero initialisers#8698

Merged
kroening merged 1 commit intodiffblue:developfrom
tautschnig:remove-redundant-init
Jul 26, 2025
Merged

C library: remove explicit zero initialisers#8698
kroening merged 1 commit intodiffblue:developfrom
tautschnig:remove-redundant-init

Commits

Commits on Jul 25, 2025