| Summary: | Expected error is not logged in eclipse error view | ||
|---|---|---|---|
| Product: | z_Archived | Reporter: | Biao Lu <biaolu> |
| Component: | TPTP | Assignee: | Paul Slauenwhite <paulslau> |
| Status: | CLOSED WORKSFORME | QA Contact: | Kathy Chan <kathy> |
| Severity: | normal | ||
| Priority: | P3 | CC: | paulslau |
| Version: | unspecified | ||
| Target Milestone: | --- | ||
| Hardware: | PC | ||
| OS: | Windows XP | ||
| Whiteboard: | closed472 | ||
|
Description
Biao Lu
Using the TPTP-4.7.0-201004221916 build, this is working as designed (three errors are logged in the .log file). Does the test case need clarification? Biao, please rerun this test suite and resubmit the results. This defect had been resolved as WORKSFORME for more than 1 month. Closing this on the reporter's behalf. Please verify with the latest TPTP 4.7.2 driver and re-open if this is still a problem. TPTP 4.7.2 driver can be downloaded from: http://www.eclipse.org/tptp/home/downloads/?ver=4.7.2 Closing in TPTP 4.7.2 release. |