Community
Participate
Working Groups
After the build launches the JUnits, the build should keep a report of the results and post it on the web site.
Completion of this bug depends, when the automatic junit execution, during the build is complete. Which I suppose is not completed yet. Should this enhancement , be moved to i11 or so.
retargeting to i13 as junit automation is not yet complete.
Updated Javadoc have been generated on download page.
Test automation setup is completed and as a result of that it generates Test reports of cosmos junit ran on latest build. More detailed about Test automation setup can be found on http://wiki.eclipse.org/COSMOS/COSMOS_TEST_AUTO
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 originator of this enhancement/defect has an inactive Bugzilla account 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.
This enhancement/defect was mistaken closed as part of the TPTP 4.6 Bugzilla housecleaning process (see http://wiki.eclipse.org/Bugzilla_Housecleaning_Processes) since the originator of this enhancement/defect has an inactive Bugzilla account. If this enhancement/defect is still unresolved and reproducible, please re-open.