标签： frama-c
在Frama-C插件中调用!Db.Value.compute()时是否可以隐藏输出？我没有找到相应的功能。
!Db.Value.compute()
我可以通过命令行参数以某种方式执行此操作吗？ （然后以某种方式为我的电话自动设置？）