Apply the test-to-requirement traceability clean-up described in #522 to the SafeCpp component (score/language/safecpp/).
Review every C++ gtest against the current comp_req__safecpp__... needs. Add mandated FullyVerifies or PartiallyVerifies links, TestType, DerivationTechnique, and self-contained Description metadata where a test genuinely verifies a requirement. Reconcile requirement text and test behavior in both directions, and leave non-functional requirements that are verifiable only by inspection without artificial test coverage.
Apply the test-to-requirement traceability clean-up described in #522 to the SafeCpp component (
score/language/safecpp/).Review every C++ gtest against the current
comp_req__safecpp__...needs. Add mandatedFullyVerifiesorPartiallyVerifieslinks,TestType,DerivationTechnique, and self-containedDescriptionmetadata where a test genuinely verifies a requirement. Reconcile requirement text and test behavior in both directions, and leave non-functional requirements that are verifiable only by inspection without artificial test coverage.