Skip to content

Add example model violation results for multiple scenarios#389

Merged
BenjaminArp merged 1 commit intomainfrom
example-model-extensions
Apr 29, 2026
Merged

Add example model violation results for multiple scenarios#389
BenjaminArp merged 1 commit intomainfrom
example-model-extensions

Conversation

@Entenwilli
Copy link
Copy Markdown
Member

Adds example model violations (with no violations or constraints) for the following three scenarios:

  • Kulturpass
  • PatientMonitoringSystem
  • SmartSpeaker

@Entenwilli Entenwilli requested a review from BenjaminArp April 28, 2026 12:38
@Entenwilli Entenwilli self-assigned this Apr 28, 2026
@Entenwilli Entenwilli added enhancement New feature or request documentation Updates the documentation / wiki labels Apr 28, 2026
Copy link
Copy Markdown
Contributor

@BenjaminArp BenjaminArp left a comment

Choose a reason for hiding this comment

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

LGTM

@BenjaminArp BenjaminArp merged commit d364112 into main Apr 29, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Updates the documentation / wiki enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants