View Issue Details

IDProjectCategoryView StatusLast Update
0004894CaseTalk ModelerDiagramspublic2025-01-17 16:37
ReporterMarco Wobben Assigned ToMarco Wobben  
PrioritynormalSeveritytweakReproducibilityhave not tried
Status resolvedResolutionfixed 
PlatformIntelOSWindowsOS Version11
Target Version14.xFixed in Version14.0 
Summary0004894: Color tuples according to the confirmed/counter state
DescriptionBeing able to mark the tuples as confirmed, or as counterexample is helpful for expressions, but should also be reflected in the diagrams.
TagsNo tags attached.
CaseTalk Editionunknown

Activities

Marco Wobben

Marco Wobben

2024-12-10 11:57

administrator   ~0005446

CounterExamples.png (59,031 bytes)   
CounterExamples.png (59,031 bytes)   

Issue History

Date Modified Username Field Change
2024-12-10 11:18 Marco Wobben New Issue
2024-12-10 11:18 Marco Wobben Status new => assigned
2024-12-10 11:18 Marco Wobben Assigned To => Marco Wobben
2024-12-10 11:57 Marco Wobben Note Added: 0005446
2024-12-10 11:57 Marco Wobben File Added: CounterExamples.png
2024-12-10 11:57 Marco Wobben Status assigned => resolved
2024-12-10 11:57 Marco Wobben Resolution open => fixed
2024-12-10 11:57 Marco Wobben Fixed in Version => 14.x
2025-01-17 16:37 Marco Wobben Fixed in Version 14.x => 14.0