Teams, When creating new TPTP test suites, do NOT copy and rename existing test suites since this use case is not currently supported (see enhancement https://bugs.eclipse.org/bugs/show_bug.cgi?id=166025). As a result, same test execution result appears more than one in the TPTP Test Report, therefore skewing the test pass results.
We are currently working at resolving 55 occurrences of copied test suites in the TPTP test bucket under defect https://bugs.eclipse.org/bugs/show_bug.cgi?id=212877. PS --------------------------------------------- Paul Slauenwhite IBM Toronto Lab, Canada Internet: [EMAIL PROTECTED] Telephone: (905) 413-3861 Tie Line: 313-3861 --------------------------------------------- _______________________________________________ tptp-tracing-profiling-tools-dev mailing list tptp-tracing-profiling-tools-dev@eclipse.org https://dev.eclipse.org/mailman/listinfo/tptp-tracing-profiling-tools-dev