Community
Participate
Working Groups
Build ID: 20090619-0625 Steps To Reproduce: This problem is found in TPTP 4.5.2.1 M3 (bug 282531). The problem is caused by incomplete NULL pointer check. It has been fixed in TPTP 4.5.2.1 M3. This bug is filed to track the fixing the problem in TPTP 4.6.1.
Created attachment 143236 [details] Patch to solve reattach crash with PerformanceExample on IBM JVM This patch is ported from TPTP 4.5.2.1 bug 282531. It will solve the IBM JRE crash with test case PerformanceExample. Dear committers, please help to review the patch. Thx, Chengrui
Patch has been checked into HEAD.
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.