-
Notifications
You must be signed in to change notification settings - Fork 277
Open
Labels
RFCRequest for commentRequest for commentVersion 6Pull requests and issues requiring a major version bumpPull requests and issues requiring a major version bump
Description
As described in the coding standards most of CBMC code lives outside of a namespace
.
However having a namespace
can be beneficial in some cases, one of which is the libcprover-cpp
library as a user may not want to pollute his application object space with unqualified symbols coming from CBMC.
This RFC aims to open a discussion about whether we should:
- continue with a no-
namespace
coding style, - introduce a
namespace
only for the library and some other components (where beneficial), - introduce a
namespace
for the whole of CBMC.
If the decision is to introduce a namespace
for CBMC, which one will it be?
brenoguim and NlightNFotis
Metadata
Metadata
Assignees
Labels
RFCRequest for commentRequest for commentVersion 6Pull requests and issues requiring a major version bumpPull requests and issues requiring a major version bump