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

Question

Suppose I have a couple of commands in Alloy, including run and check commands. When I push the Execute button in the IDE, it only executes the first one and ignores the rest.

Is there any way to force Alloy run all the commands in the code one after another?

Answer 1

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