强制最小数量的实例
Force a minimum number of instances
当运行一个模型在alloy时，您可以定义最大对象数。
// like this:
run example for 10 MyElements
如果你想要正好10，你可以这样写：
run example for exactly 10 MyElements
但是有没有办法强制设置最小数量而不是最大数量？
或者类似间隔的东西？这将使测试更容易。
您可以使用基数约束来强制执行此操作。像
run {example and #MyElements>5} for 10 MyElements, 5 int
您需要小心设置整数位宽以允许足够的正数
整数到你的范围。
当运行一个模型在alloy时，您可以定义最大对象数。
// like this:
run example for 10 MyElements
如果你想要正好10，你可以这样写：
run example for exactly 10 MyElements
但是有没有办法强制设置最小数量而不是最大数量？ 或者类似间隔的东西？这将使测试更容易。
您可以使用基数约束来强制执行此操作。像
run {example and #MyElements>5} for 10 MyElements, 5 int
您需要小心设置整数位宽以允许足够的正数 整数到你的范围。