Community
Participate
Working Groups
In the datapool editor, Edit Equivalance Class allows you to move the item to after/before itself which obviously will have no affect. The options in the index box are "before x" and "after x" thereby allowing you to position the equivalence class before or after itself. This should probably be greyed/removed from the list.
*** Bug 60707 has been marked as a duplicate of this bug. ***
As agreed on equivalence class usability enhancement (see bugzilla 73178), equivalence classes related operations will be moved out from inside a data table and moved to the overview tab. Each equivalence class will be presented with one separate tab. Thus editing of equivalence class will not be perfomed with a popup dialog which is not common to eclipse UI. For this reason, I am marking this defect a replication of 73178 as it will be resolved by fixing 73178. *** This bug has been marked as a duplicate of 73178 ***
As of TPTP 4.6.0, TPTP is in maintenance mode and focusing on improving quality by resolving relevant enhancements/defects and increasing test coverage through test creation, automation, Build Verification Tests (BVTs), and expanded run-time execution. As part of the TPTP Bugzilla housecleaning process (see http://wiki.eclipse.org/Bugzilla_Housecleaning_Processes), this enhancement/defect is verified/closed by the Project Lead since this enhancement/defect has been resolved and unverified for more than 1 year and considered to be fixed. If this enhancement/defect is still unresolved and reproducible in the latest TPTP release (http://www.eclipse.org/tptp/home/downloads/), please re-open.