Community
Participate
Working Groups
Add a filter contextual menu and a filter in/out checkbox in the filter dialog (invisible in find dialog). This brings filter in/out logic where only filter out is currently available.
Added a 'Filter in' contextual menu visible on lifelines. This hides all lifelines that do not match the name of the selected one. This kind of positive filters are visible in the filter list dialog (expression has a ! sign in front of them to say that it's not a filter out, but a filter in). Same thing for messages does not appear to make sense: any message belonging to the call stack of a filtered out message is considered as filtered out too, even if positevely filtered. Not useful.
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.