强制实施最少数量的实例

时间:2016-02-17 12:13:58

标签: alloy

使用合金运行模型时,可以定义最大数量的对象。

QTabWidget::pane {
    background-color: red;
}

如果你想要10个,你可以写:

 // like this:
 run example for 10 MyElements

但有没有办法强制最低金额而不是最高金额? 或者类似间隔?这将使测试更容易。

1 个答案:

答案 0 :(得分:2)

您可以使用基数约束来强制执行此操作。像

这样的东西
run {example and #MyElements>5} for 10 MyElements, 5 int

您需要小心设置整数位宽以允许足够的正数 整数范围。