qar*_*tal 1 alloy
假设我在Alloy中有几个命令,包括运行和检查命令.当我按下IDE中的Execute按钮时,它只执行第一个按钮并忽略其余按钮.
有没有办法强制Alloy一个接一个地运行代码中的所有命令？
Ale*_*vic 6
您可以Execute -> Execute All从主菜单中进行选择.
Execute -> Execute All
归档时间：
11 年，10 月 前
查看次数：
70 次
最近记录：