[stmt.contract.assert]
8 Statements [stmt]
8.9 Assertion statement [stmt.contract.assert]
The evaluation of consecutive assertion-statements is an evaluation in sequence ([basic.contract.eval]) of the contract assertions introduced by those assertion-statements.
[Note 1:
A sequence of assertion-statements can thus be repeatedly evaluated as a group.
[Example 1: int f(int i) { contract_assert(i == 0); contract_assert(i >= 0); return 0; } int g = f(0); — end example]
— end note]