Sujet : Re: Code guidelines
De : ldo (at) *nospam* nz.invalid (Lawrence D'Oliveiro)
Groupes : comp.lang.cDate : 22. Sep 2024, 03:08:08
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vcnu67$1vkui$3@dont-email.me>
References : 1 2 3 4 5
User-Agent : Pan/0.160 (Toresk; )
On Tue, 3 Sep 2024 11:37:16 -0300, Thiago Adams wrote:
assert/assume is more
"trust me compiler, this is what happens" someone else is checking this
we don't need to check again.
Alphard made a clear distinction between “assert” and “assume”.