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

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

标签: promela spin

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

ICRNL

0 个答案:

没有答案