View Issue Details

IDProjectCategoryView StatusLast Update
0004418CaseTalk ModelerDiagramspublic2024-02-12 21:27
ReporterMarco Wobben Assigned ToMarco Wobben  
PrioritynormalSeverityfeatureReproducibilityhave not tried
Status resolvedResolutionfixed 
PlatformIntelOSWindowsOS Version11
Target Version13.2Fixed in Version13.2 
Summary0004418: Render tuple states
DescriptionThe generated diagrams should render the example expressions with appropriate styling to make the reader aware of unconfirmed and counter examples.
TagsNo tags attached.
CaseTalk Editionunknown

Activities

There are no notes attached to this issue.

Issue History

Date Modified Username Field Change
2024-02-12 12:33 Marco Wobben New Issue
2024-02-12 12:33 Marco Wobben Status new => assigned
2024-02-12 12:33 Marco Wobben Assigned To => Marco Wobben
2024-02-12 21:27 Marco Wobben Status assigned => resolved
2024-02-12 21:27 Marco Wobben Resolution open => fixed
2024-02-12 21:27 Marco Wobben Fixed in Version => 13.2