Skip to content

Correct Requirement check: suspicious#746

Merged
aschemmel-tech merged 2 commits into
mainfrom
aschemmel-tech-correct-requirement-check
Jul 14, 2026
Merged

Correct Requirement check: suspicious#746
aschemmel-tech merged 2 commits into
mainfrom
aschemmel-tech-correct-requirement-check

Conversation

@aschemmel-tech

Copy link
Copy Markdown
Contributor

Triggered by a question from @MaximilianSoerenPollak

masc2023
masc2023 previously approved these changes Jul 14, 2026
@github-actions

Copy link
Copy Markdown

The created documentation from the pull request is available at: docu-html

@MaximilianSoerenPollak

Copy link
Copy Markdown
Contributor

If I understand this correctly, this means the Tests ALSO need to have a version of the requirement that they link to?
Sot hat the tests says I verify version 1 of this requirement?

@aschemmel-tech

Copy link
Copy Markdown
Contributor Author

If I understand this correctly, this means the Tests ALSO need to have a version of the requirement that they link to? Sot hat the tests says I verify version 1 of this requirement?

I am unsure about this, because my process guy self says "yes" but the practice I see supports "no". I would like to discuss with verification community / @pahmann as the verification process owner.

@MaximilianSoerenPollak

Copy link
Copy Markdown
Contributor

If I understand this correctly, this means the Tests ALSO need to have a version of the requirement that they link to? Sot hat the tests says I verify version 1 of this requirement?

I am unsure about this, because my process guy self says "yes" but the practice I see supports "no". I would like to discuss with verification community / @pahmann as the verification process owner.

Sounds okay-ish for me.

@MaximilianSoerenPollak

Copy link
Copy Markdown
Contributor

But then maybe the version should be increased as the meaning changed?

@aschemmel-tech

Copy link
Copy Markdown
Contributor Author

But then maybe the version should be increased as the meaning changed?

updated version

@aschemmel-tech aschemmel-tech merged commit ab5d840 into main Jul 14, 2026
5 checks passed
@aschemmel-tech aschemmel-tech deleted the aschemmel-tech-correct-requirement-check branch July 14, 2026 10:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants