Move prover 如何生成 Boogie IR？

He1pa
发布于 阅读 126

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

标签： Move问答
评论