Promela 语法错误

【问题标题】：Promela Syntax errorPromela 语法错误
【发布时间】：2016-02-17 23:26:52
【问题描述】：

当我尝试运行我的 promela 代码时收到语法错误，错误为 Error: syntax error saw 'token: ::'

指的是这行代码（第 10-13 行）：

#define IniRunning(x,y) if
                    :: ((x==A) && (y==B)) -> IniRunningAB = 1
                    :: else skip
                    fi

我尝试在 if 和 fi 之后添加分号，但错误似乎并没有消失。

有人有什么想法吗？

【问题讨论】：

【解决方案1】：

在宏定义中的每个换行符之前放置\。

您可以检查中间文本（宏扩展后） spin -I check.pml

【讨论】：