Open
Description
Following @martin-cs' suggestion in #1875:
Suggested policy: The only way for normal termination of program execution is via return from main
. Abnormal termination is to be handled via the macros provided by invariant.h
. Any other use requires explanation and should be explicitly marked as NOLINT
.
Metadata
Metadata
Assignees
Labels
No labels