运行代码中的所有命令，而不是仅在Alloy中的第一个命令

Question

假设我在Alloy中有一些命令，包括运行和检查命令。当我按下IDE中的 Execute 按钮时，它只执行第一个按钮而忽略其余按钮。

有没有办法强制Alloy一个接一个地运行代码中的所有命令？

Answer 1

您可以从主菜单中选择Execute -> Execute All。