output文件夹中没有生成相应的.dot文件

pascal-lab / Tai-e-assignments

Tai-e assignments for static program analysis

https://tai-e.pascal-lab.net/

GNU Lesser General Public License v3.0

1.01k stars 234 forks source link

Open littlejlf opened 7 months ago

littlejlf commented 7 months ago

output文件夹中没有生成相应的.dot文件只有options.yml tai-e-plan.yml两个文件

littlejlf commented 7 months ago

找到原因了需要解除一行代码的注释

mrhuangzh commented 6 months ago

private static final boolean DUMP_CFG = true;

this one？