PMC,
The Test Project has completed the test pass (TPTP-4.6.0-200904260100) with success. Of the three new defects found during the test pass, one has since been fixed in I2, one will be fixed in I3, and one has been targeted to future. The remaining failures are the result of AGR tests that require refactoring for Eclipse 3.5/TPTP 4.6 and BVT errors.
We are prepared to drop this candidate to Gailio M7.
Paul
__________________________
Paul Slauenwhite
IBM Toronto Lab, Canada
Internet: paules@...
Telephone: (905) 413-3861
Tie Line: 313-3861
__________________________
Please consider the environment before printing this email.
_______________________________________________
tptp-testing-tools-dev mailing list
tptp-testing-tools-dev@...
https://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev
