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 | 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 | 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 | BCP Software | New Issue | |
| 2024-02-12 10:48 | BCP Software | Status | new => assigned |
| 2024-02-12 10:48 | BCP Software | Assigned To | => BCP Software |
| 2024-02-12 10:49 | BCP Software | Status | assigned => resolved |
| 2024-02-12 10:49 | BCP Software | Resolution | open => fixed |
| 2024-02-12 10:49 | BCP Software | Fixed in Version | => 13.2 |
