View Issue Details

IDProjectCategoryView StatusLast Update
0004417CaseTalk ModelerTransformation (GLR)public2024-02-12 10:49
ReporterBCP Software Assigned ToBCP Software  
PrioritynormalSeveritytweakReproducibilityhave not tried
Status resolvedResolutionfixed 
PlatformIntelOSWindowsOS Version11
Target Version13.2Fixed in Version13.2 
Summary0004417: Merge tuple state when transforming
DescriptionThe 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.
TagsNo tags attached.
CaseTalk Editionunknown


There are no notes attached to this issue.

Issue History

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