Date: Sat, 1 Oct 2022 10:20:59 -0400
On Sat, Oct 1, 2022 at 10:04 AM blacktea hamburger via Std-Proposals <
std-proposals_at_[hidden]> wrote:
> Compilers can make optimizations, and behavior can be non-standard. So, is
> it enough just by testing on compilers?
>
No. But it is certainly not enough to just read things on paper, either.
You need to do both.
https://en.wikipedia.org/wiki/Correspondence_theory_of_truth
–Arthur
std-proposals_at_[hidden]> wrote:
> Compilers can make optimizations, and behavior can be non-standard. So, is
> it enough just by testing on compilers?
>
No. But it is certainly not enough to just read things on paper, either.
You need to do both.
https://en.wikipedia.org/wiki/Correspondence_theory_of_truth
–Arthur
Received on 2022-10-01 14:21:11