promela - 错误：未声明的变量：fromS看到“运算符：？” - Thinbug

错误：未声明的变量：fromS看到“运算符：？”

时间：2019-05-24 09:01:25

标签： promela spin

这是代码，我在od部分得到错误。它说：“未声明的变量：fromS看到'运算符：？'”

ICRNL

0 个答案:

没有答案