You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
Suggested policy: The only way for normal termination of program execution is via return from main. Explicit abnormal termination should be done via throw, invariant failure (via the macros provided by invariant.h) should also result in abnormal termination. Any other use requires explanation and should be explicitly marked as NOLINT.
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 byinvariant.h
. Any other use requires explanation and should be explicitly marked asNOLINT
.The text was updated successfully, but these errors were encountered: