View Issue Details

IDProjectCategoryView StatusLast Update
0004199CaseTalk ModelerExpressionspublic2023-10-17 13:52
ReporterBCP Software Assigned ToBCP Software  
PrioritynormalSeverityfeatureReproducibilityhave not tried
Status resolvedResolutionfixed 
PlatformIntelOSWindowsOS Version11
Target Version13.0.1Fixed in Version13.0.1 
Summary0004199: Generate expression on (un)confirmed tuples
DescriptionGenerating expressions should only include proper tuples, confirmed tuples, unconfirmed tuples, or counter examples. Adding a filtering option to the expression generator dialog would provide this function.
TagsNo tags attached.
CaseTalk Editionunknown


There are no notes attached to this issue.

Issue History

Date Modified Username Field Change
2023-10-16 12:30 BCP Software New Issue
2023-10-16 12:30 BCP Software Status new => assigned
2023-10-16 12:30 BCP Software Assigned To => BCP Software
2023-10-17 13:52 BCP Software Status assigned => resolved
2023-10-17 13:52 BCP Software Resolution open => fixed
2023-10-17 13:52 BCP Software Fixed in Version => 13.0.1