Community
Participate
Working Groups
[Webdoc] [Readme] Move, copy, paste and rename of test assets not supported. Users and TPTP committers often have problems executing test suites that have been copied/pasted (e.g. cloned). We should make users aware of this limitation with a readme entry. See enhancement https://bugs.eclipse.org/bugs/show_bug.cgi?id=166025 for more details.
The follow readme files checked in to CVS (HEAD): tptp\test\resources\v4.2\readme.xml tptp\test\resources\v4.3\readme.xml tptp\test\resources\v4.4\readme.xml
Reporter: Please verify and close in preparation for shutting down the TPTP 4.4 release. Thanks.
Verified in http://www.eclipse.org/tptp/home/downloads/releasenotes/releasenotes4_4_0.html.