说明:护手修枝剪
Gauntlet修剪器是一种旨在减少导致P4编译器崩溃或异常行为的P4程序的大小的工具。该工具旨在与结合使用。该修枝剪目前支持与崩溃(退出代码1)或语义翻译错误(退出代码20,定义程序修剪)。
用法
注意: 提供 样本配置文件。
配置文件格式
修剪器可以自动从JSON配置文件加载一些基本配置参数。该文件具有以下字段:
# Was the validation bug found when undefined behavior was allowed?
" allow_undef "
<weixin_42131890> 上传 | 大小:8mb