Community
Participate
Working Groups
Submitting defect for newsgroup poster: Hi, I am using Linux with tptp 4.1.0 and Eclipse 3.1.1, with the corresponding Raserver (410) on Java 1.5_0_03. I am using the shell command line way to run my tests. I was wondering how can I set the location of a test execution result file (.execution) to a user defined location? Using "results" service parameter doesnt seem to work with me. The test execution results file gets stored on the root folder "/<project-name>/xxx.execution", Is there any setting I am missing?
Per AG call on 10/20, all non-blocking/non-critical defects are to be retargeted to 4.4.
cleaning up assignees
As of TPTP 4.6.0, TPTP is in maintenance mode and focusing on improving quality by resolving relevant defects and increasing test coverage through test creation, automation, Build Verification Tests (BVTs), and expanded run-time execution. Since this defect is more than 2 years old, it may be no longer relevant. As part of the TPTP Bugzilla housecleaning process (see http://wiki.eclipse.org/Bugzilla_Housecleaning_Processes), this defect is resolved as WONTFIX. If this defect is still relevant and reproducible in the latest TPTP release (http://www.eclipse.org/tptp/home/downloads/), please re-open.
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.