[2025-02 CWG Motion 4] P1494R5 Partial program correctness #8512
notadragonAnnotations
5 errors
|
Run checks on Linux:
source/intro.tex#L955
intro.tex:955:trailing whitespace: If the selected execution contains an undefined operation,
|
|
Run checks on Linux:
source/intro.tex#L957
intro.tex:957:trailing whitespace: may produce arbitrary additional observable behavior aferwards.
|
|
Run checks on Linux
Process completed with exit code 1.
|
|
Run checks on MacOS
The job was canceled because "Linux_ubuntu-22_04" failed.
|
|
Run checks on MacOS
The operation was canceled.
|