它是合金评估员的错误吗？

Question

鉴于下面的简单测试，在某些情况下，Evaluator会回答负基数。

sig A{}
pred show{}
run show

// 2nd instance
univ          {A$0}
#univ         -1

// 3rd instance
univ          {A$0, A$1}
#univ         -2

// 4th instance
univ          {A$0, A$1, A$2}
#univ         3

Answer 1

可能是。但是，如果您明确将整数添加到Universe中，它将返回有效数字。我的意思是run show for 3 Int