Assumptions of Use

Coverage: 100.0% (1 of 1 items OK)

[OK] TRLC Aou SampleType.SampleAoU

It shall be made sure that shared memory segments are never created with the wrong name (ShmemCreatedWrongName)

---

Traces to:

• SampleLibrary.ShmemCreatedWrongNameAssessed

---

Source: docs/aous.trlc:17:14