Details
-
Improvement
-
Status: Resolved
-
Major
-
Resolution: Fixed
-
None
-
None
-
None
-
Patch Available
Description
Current implementation of TPTP suite runner script requires manual test checkout and buliding.