Move prover 如何生成 Boogie IR?

He1pa
发布于 阅读 113

最近看了源码,看起来在生成Boogie IR的时候是直接用字符拼接的 Boogie IR,把字符串写进文件后在子进程调用 Boogie?

标签: Move问答
评论