Community
Participate
Working Groups
The code coverage that can be ru without the piAgent hooks requires a build install to build the libraries required on supported platforms. The libraries are packaged with the org.eclipse.tptp.llc.core plugin under deploy\lib directory I am attaching below the compilation units for Windows and Linux, as they were used to generate the current libraries.
The attachment is too big for bugzilla; I am going to send it to you by mail
Build script checked in by Samson on 05/04/2006. Bug 144928 has been opened as a reminder to Hubert for build.
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.