Любой с установленным RAD может просмотреть файл .trcxml, перейдя по адресу File
> Import
> Profiling and Logging
> Profiling File
. Отсюда вы можете использовать фильтры для выбора диапазонов или «показать все», и вы сможете копировать / вставлять или конвертировать в любой формат, который вам нравится.
Если вы предпочитаете, чтобы файл генерировался как XML, а не как двоичный файл, вы можете использовать необязательную переменную окружения TPTP_OUTPUT_FORMAT
. Просто установите TPTP_OUTPUT_FORMAT=xml
.
Отредактировано на основе отзывов от автора: если вы используете переменную среды, TPTP выводит файл в формате zipped xml, но не меняет расширение файла. Итак, вам нужно будет переименовать полученный файл .trcxml в .zip.