Skip to main content

Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.

Jump to: navigation, search

Difference between revisions of "TPTP FAQ"

(Known problem and workaround)
(TPTP FAQ and Known Problem)
Line 1: Line 1:
 
== TPTP FAQ ==
 
== TPTP FAQ ==
 
This page lists all commonly asked questions regarding the usage of TPTP. This page is under development and will continue to grow. Please check back later for more information. If you would like to suggest a question here, please email [mailto:ewchan@ca.ibm.com Eugene Chan]
 
This page lists all commonly asked questions regarding the usage of TPTP. This page is under development and will continue to grow. Please check back later for more information. If you would like to suggest a question here, please email [mailto:ewchan@ca.ibm.com Eugene Chan]
 
  
 
== Known problem and workaround ==
 
== Known problem and workaround ==

Revision as of 15:37, 10 October 2008

TPTP FAQ

This page lists all commonly asked questions regarding the usage of TPTP. This page is under development and will continue to grow. Please check back later for more information. If you would like to suggest a question here, please email Eugene Chan

Known problem and workaround

Detach action does not work and shows error

Detach action is currently not support with JRE 1.5 or newer profiler. There is currently no workaround. See bug [[1]] for status of bug.



TPTP wiki page

Back to the top