Skip to content

CONTRACTS: adding requires and ensures clauses for function pointers#6821

Merged
remi-delmas-3000 merged 1 commit intodiffblue:developfrom
remi-delmas-3000:contracts-obeys-clause
Apr 27, 2022
Merged

CONTRACTS: adding requires and ensures clauses for function pointers#6821
remi-delmas-3000 merged 1 commit intodiffblue:developfrom
remi-delmas-3000:contracts-obeys-clause

Commits

Commits on Apr 27, 2022