View Issue Details

Jump to NotesJump to History
IDProjectCategoryView StatusDate SubmittedLast Update
0004894CaseTalk ModelerDiagramspublic2024-12-10 11:182026-06-06 12:59
ReporterMarco Wobben Assigned ToMarco Wobben  
PrioritynormalSeveritytweakReproducibilityhave not tried
Status closedResolutionfixed 
PlatformIntelOSWindowsOS Version11
Target Version15.0Fixed in Version14.0 
Summary0004894: Color tuples according to the confirmed/counter state
Description

Being 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)   
Anonymous

Anonymous

2026-06-06 12:59

viewer   ~0007895

Closing automatically, stayed too long in resolved state. Feel free to re-open with additional information if you think the issue is not resolved.

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 => 15.0
2025-01-17 16:37 Marco Wobben Fixed in Version 15.0 => 14.0
2026-06-06 12:59 Anonymous Note Added: 0007895
2026-06-06 12:59 Anonymous Status resolved => closed