开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >TLA+转换结果解析失败

问TLA+转换结果解析失败
EN

Stack Overflow用户

提问于 2019-11-19 01:15:43

回答 1查看 19关注 0票数 0

我用PlusCalc编写的TLA+规范编译成TLA+成功了，但解析失败了：

规格：https://justpaste.it/39pru

PlusCalc中的错误位置在哪里？

谢谢!

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2019-11-19 07:30:26

请参阅半官方谷歌小组的答案：https://groups.google.com/forum/#!msg/tlaplus/x3G2DC91fpc/r-_VpqjZBQAJ

(镜像：http://discuss.tlapl.us/msg03251.html)

票数 1

EN

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/58919821

复制

相似问题