Date: Fri, 17 Oct 2025 11:43:13 +0300
On Fri, 17 Oct 2025 at 11:22, Harald Achitz via SG21
<sg21_at_[hidden]> wrote:
>
> A short question:
>
> is it true that it is not specified how often and in which order contracts (pre post conditions) are evaluated,
> and if it is, I wonder what is means for 'as close as possible'
See [basic.contract.eval]/18, [expr.call]/7, and [expr.call]/9.
<sg21_at_[hidden]> wrote:
>
> A short question:
>
> is it true that it is not specified how often and in which order contracts (pre post conditions) are evaluated,
> and if it is, I wonder what is means for 'as close as possible'
See [basic.contract.eval]/18, [expr.call]/7, and [expr.call]/9.
Received on 2025-10-17 08:43:29