Add missing coverage statement for detailed design#509

masc2023 merged 1 commit intomaineclipse-score/process_description:mainfrom

pahmann/verification-deviation-coverageeclipse-score/process_description:pahmann/verification-deviation-coverageCopy head branch name to clipboard