如果没有设置这样的变量,Dialyzer将PLT放在$HOME/.dialyzer_plt。展示位置也可以使用选项--plt或--output_plt。
备选方案: --add_to_plt PLT扩展到还包括用-cand指定的文件-r。使用--plt指定从哪个开始PLT,并--output_plt指定到哪里可以把PLT。

扫码关注腾讯云开发者
领取腾讯云代金券
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号:粤B2-20090059
粤公网安备44030502008569号
腾讯云计算(北京)有限责任公司 京ICP证150476号 | 京ICP备11018762号
