|
|
| Reporter | Marco Wobben | Assigned To | Marco Wobben | |
|---|
| Priority | normal | Severity | tweak | Reproducibility | have not tried |
|---|
| Status | resolved | Resolution | fixed | |
|---|
| Target Version | 12.5 | Fixed in Version | 12.5 | |
|---|
|
|
| Summary | 0003557: Deleting tuples does not renumber them |
|---|
| Description | Deleting tuples from the repository window/panel using the context menu on the tuple level expressions, does no renumber the remaining tuples. |
|---|
| Steps To Reproduce | Enter three tuples, and visualize the otft in a diagram. Select the first first LTL expression in the repository panel/windows, and delete the first or second tuple. The diagram will display empty tuples and the remaining filled ones. |
|---|
| Tags | No tags attached. |
|---|
|
|
| CaseTalk Edition | unknown |
|---|
|
|
