CONTRACTS: Allow NULL function pointer contracts#7327

Closed

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

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

Commits on Nov 11, 2022

CONTRACTS: allow NULL function pointer contracts
Remi Delmas
committed
CONTRACTS: requires_contract/ensures_contract tests
Remi Delmas
committed
CONTRACTS: user doc for function pointer clauses
Remi Delmas
committed