kframework - 是否可以在 krun 输出的配置上调用 krun？

Question

我希望 K 生成一堆配置，然后我可以在外部进行处理。但是，我可能想通过在每个配置上调用 K 来恢复计算。这可能吗？

我尝试查看krun --help选项，但我认为我没有看到我需要的内容。最接近的是术语解析，但我想传递完整的配置而不仅仅是一个术语。

或者，是否有用于 K 的 API 与 OCaml 一起使用？例如，如果我已经编译了 K 语义，是否有任何 API 可以在文件上调用 K、获得对 AST 的访问权并在它们上运行 K？

score 2 · Accepted Answer

看起来您想要的是以下内容：

krun $args --output kast --output-file output.kast
krun --term --parser cat output.kast

1 回答 1