如何将序列分配给 TLA 的 CONSTANTS 部分中的常量？配置文件？
我已经尝试过 CONSTANTS seq = <<5,6,7>> ，但 TLC 给了我一个语法错误： 错误：TLC 发现错误 配置文件的第 1 行。它是 期待 = 或 <- 但没…
- 共 1 页
- 1
我已经尝试过 CONSTANTS seq = <<5,6,7>> ，但 TLC 给了我一个语法错误： 错误：TLC 发现错误 配置文件的第 1 行。它是 期待 = 或 <- 但没…
接受 或继续使用网站，即表示您同意使用 Cookies 和您的相关数据。