Community
Participate
Working Groups
Needs to deliver TPTP compliant tests for the test execution service for the test pass.
First delivery made -- more tests to be incrementally added as this feature use progresses.
Done.
ACTION: Please verify/close this defect.
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.