View Issue Details

Jump to NotesJump to History
IDProjectCategoryView StatusDate SubmittedLast Update
0005731CaseTalk ModelerValidationpublic2026-07-04 10:582026-07-04 10:58
ReporterMarco Wobben Assigned ToMarco Wobben  
PrioritynormalSeverityfeatureReproducibilityhave not tried
Status assignedResolutionopen 
PlatformIntelOSWindowsOS Version11
Target Version15.x 
Summary0005731: Subset constraint validation
Description

Sometimes a subset constraint may violate other constraints. These could be do well with automated rule violation checks in the model-wellformedness.

Steps To Reproduce

Model the diagram and notice how a 'rode fiets' must be a 'stadsfiets', but due to the XOR at the top it could never be those at the same time.

TagsNo tags attached.
Attached Files
image.png (37,539 bytes)   
image.png (37,539 bytes)   
CaseTalk Editionunknown

Activities

Issue History

Date Modified Username Field Change
2026-07-04 10:58 Marco Wobben New Issue
2026-07-04 10:58 Marco Wobben Status new => assigned
2026-07-04 10:58 Marco Wobben Assigned To => Marco Wobben
2026-07-04 10:58 Marco Wobben File Added: image.png