从Alloy Analyzer中提取消息

Question

当您在Analyzer中执行Alloy代码时，会收到一些消息，例如“未找到反例”。我想要提取这条消息。我想要，例如，使用此消息获取.txt文件。有人可以帮帮我吗？

Answer 1

最简单，最简单的方法是编写一个小型java程序，调用Alloy API来分析给定的模型，并将结果写入文本文件（例如here）。

现在，如果你想选择硬而脏的方式，那就是：从guenuine Alloy分析器GUI中提取这些信息（而不是从你自己调用Alloy API的程序中提取），我想解决方法可能是使用像sikuli这样的图像识别脚本工具。