Contracts

Preconditions, postconditions and assertions as part of function declarations (C++26).

Advanced

int sqrt_int(int x) pre(x >= 0);

Spotted a mistake or want to add detail? Suggest an improvement — Content Contributors' edits are reviewed by editors before they go live.

Discussion (0)