当您在Analyzer中执行Alloy代码时，会收到一条消息，例如“未找到反例” . 我想要提取这条消息 . 我想要，例如，使用此消息获取.txt文件 . 有人能帮助我吗？
最简洁和最简单的方法是编写一个小的java程序，调用Alloy API来分析给定的模型并将结果写入文本文件（例如here） .
现在，如果你想选择硬而脏的方式，那就是：从guenuine Alloy分析器GUI中提取这些信息（而不是从你自己的程序中调用Alloy API），我想解决方案可能是使用图像识别像sikuli这样的脚本工具 .
1 回答
最简洁和最简单的方法是编写一个小的java程序，调用Alloy API来分析给定的模型并将结果写入文本文件（例如here） .
现在，如果你想选择硬而脏的方式，那就是：从guenuine Alloy分析器GUI中提取这些信息（而不是从你自己的程序中调用Alloy API），我想解决方案可能是使用图像识别像sikuli这样的脚本工具 .