translation.backendopt.print_statistics

• 名称: print_statistics
• 描述: 在优化时打印统计信息
• 命令行: –translation-backendopt-print_statistics
• 命令行否定: –no-translation-backendopt-print_statistics
• 选项类型: 布尔选项
• 默认值: False

调试选项。打印有关流图森林的统计信息，这些信息在经过各种后端优化时会发生变化。