運行代碼中的所有命令而不是合金中的第一個合金

Question

假設我在Alloy中有幾個命令，包括運行和檢查命令。當我按下IDE中的Execute按鈕時，它只執行第一個並忽略其餘部分。

有沒有辦法強制Alloy在代碼中一個接一個地運行所有命令？

Answer 1

您可以從主菜單中選擇Execute -> Execute All。