Skip to content

test: cleanup test metadata - #912

Merged
a-zw merged 1 commit into
eclipse-score:mainfrom
etas-contrib:fully-verify-cleanup-test-metadata
Oct 7, 2026
Merged

a-zw merged 1 commit into
eclipse-score:mainfrom
etas-contrib:fully-verify-cleanup-test-metadata

Conversation

@a-zw

@a-zw a-zw commented Oct 5, 2026

Copy link
Copy Markdown
Contributor

📌 Description

Remove partial-verification claims from unit tests that only exercise implementation details as this is not really requiremented-based.

🚨 Impact Analysis

  • This change does not violate any tool requirements and is covered by existing tool requirements
  • This change does not violate any design decisions
  • Otherwise I have created a ticket for new tool qualification

✅ Checklist

  • Added/updated documentation for new or changed features
  • Added/updated tests to cover the changes
  • Followed project coding standards and guidelines

@github-actions

github-actions Bot commented Oct 5, 2026

Copy link
Copy Markdown
Contributor

Documentation preview for this pull request is available at:
pr-912: https://eclipse-score.github.io/docs-as-code/pr-912/

@a-zw a-zw mentioned this pull request Oct 5, 2026
4 of 6 tasks
Comment thread src/extensions/score_metamodel/tests/test_check_options.py
Remove partial-verification claims from unit tests that only exercise
implementation details as this is not really requiremented-based.
@a-zw
a-zw force-pushed the fully-verify-cleanup-test-metadata branch from 0645866 to ca3f500 Compare October 6, 2026 14:04

@MaximilianSoerenPollak MaximilianSoerenPollak left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is fine, I would say.
The empty verifies should be reminder enough that we need to solve something here in teh future.

@a-zw
a-zw merged commit ae6c330 into eclipse-score:main Oct 7, 2026
32 checks passed
@a-zw
a-zw deleted the fully-verify-cleanup-test-metadata branch October 7, 2026 07:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Development

Successfully merging this pull request may close these issues.

2 participants