View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0004894 | CaseTalk Modeler | Diagrams | public | 2024-12-10 11:18 | 2025-01-17 16:37 |
| Reporter | Marco Wobben | Assigned To | Marco Wobben | ||
| Priority | normal | Severity | tweak | Reproducibility | have not tried |
| Status | resolved | Resolution | fixed | ||
| Platform | Intel | OS | Windows | OS Version | 11 |
| Target Version | 14.x | Fixed in Version | 14.0 | ||
| Summary | 0004894: 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. | ||||
| Tags | No tags attached. | ||||
| CaseTalk Edition | unknown | ||||
| 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 |