View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0004894 | CaseTalk Modeler | Diagrams | public | 2024-12-10 11:18 | 2024-12-10 11:57 |
| Reporter | BCP Software | Assigned To | BCP Software | ||
| 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.x | ||
| 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 | BCP Software | New Issue | |
| 2024-12-10 11:18 | BCP Software | Status | new => assigned |
| 2024-12-10 11:18 | BCP Software | Assigned To | => BCP Software |
| 2024-12-10 11:57 | BCP Software | Note Added: 0005446 | |
| 2024-12-10 11:57 | BCP Software | File Added: CounterExamples.png | |
| 2024-12-10 11:57 | BCP Software | Status | assigned => resolved |
| 2024-12-10 11:57 | BCP Software | Resolution | open => fixed |
| 2024-12-10 11:57 | BCP Software | Fixed in Version | => 14.x |
