CONTRACTS: Allow NULL function pointers#7319

Closed

remi-delmas-3000 wants to merge 4 commits intodiffblue:developfrom

remi-delmas-3000:allow-null-function-pointers

Commits on Nov 10, 2022

CONTRACTS: allow NULL function pointers
Remi Delmas
committed
CONTACTS: add function pointer clauses doc
Remi Delmas
committed
clang-format fix for imports
Remi Delmas
committed
signedness fix for loop counter
Remi Delmas
committed