Community
Participate
Working Groups
Requesting to fix in 3.0.2 stream for "Improved Problem Determination" (from Todd Merriweather).
This has been fixed in the 3.0.2 stream.
Failed regression test for Test.Execution.ExecutionHarness with TPTP 4.2 i1 test pass 2.
*** This bug has been marked as a duplicate of bug 178595 ***
Closing by default since not closed by the originator in the 7+ months since being resolved. Please reopen if the issue is still present in the latest TPTP release or the resolution is not correct.