View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0004417 | CaseTalk Modeler | Transformation (GLR) | public | 2024-02-12 10:48 | 2024-02-12 10:49 |
| 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 | 13.2 | Fixed in Version | 13.2 | ||
| Summary | 0004417: Merge tuple state when transforming | ||||
| Description | The tuples can now be given a state of Confirmed and isCounterExample. When merging population during model transformation, multiple tuple sets become one record in the target table. So, the tuple states need to be adjusted when some attributes have conflicting state in comparison to others. Merging a Counter Example with a regular tuple should set the final tuple to UnConfirmed and unknown to be a positive or negative tuple. Also for merging confirmed and unconfirmed tuples, the result can never be a confirmed tuple as well. | ||||
| Tags | No tags attached. | ||||
| CaseTalk Edition | unknown | ||||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2024-02-12 10:48 | Marco Wobben | New Issue | |
| 2024-02-12 10:48 | Marco Wobben | Status | new => assigned |
| 2024-02-12 10:48 | Marco Wobben | Assigned To | => Marco Wobben |
| 2024-02-12 10:49 | Marco Wobben | Status | assigned => resolved |
| 2024-02-12 10:49 | Marco Wobben | Resolution | open => fixed |
| 2024-02-12 10:49 | Marco Wobben | Fixed in Version | => 13.2 |
