无法找到“div”这个名字......嗯?为什么?

时间:2018-05-14 21:17:50

标签: alloy

在本单元中,我使用Alloy“div”:

module test

one sig Test {
     t: Int
} {
   t = div[4,2]
}

run {}

执行工作正常。

我创建了另一个使用第一个模块的模块:

module hope

open test

sig A {}

run {}

执行该操作会导致以下错误消息:

  

无法找到名称“div”。

为什么我收到错误消息?如何解决?

1 个答案:

答案 0 :(得分:1)

这是一个简单的解决方法的已知错误。您需要在第一个模型中明确导入util/integer模块。

请参阅Alloy built-in integer math functions don't work in imported files